Work

Type checking, universe polymorphism, and typical ambiguity in the calculus of constructions draft

Year: 1989

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/3-540-50940-2_39

Authors: Robert Harper, Robert Pollack

Institutions: Carnegie Mellon University, University of Edinburgh

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: Carnegie Mellon University, University of Edinburgh

OpenAlex ID: W1576083903

FWCI: 1.62

Cites: 34

Cited by: 19

Related to: 10