Inductively defined types in the Calculus of Constructions
Work
Year: 1990
Type: book-chapter
Institutions Carnegie Mellon University, Institut national de recherche en informatique et en automatique
Cites: 23
Cited by: 98
Related to: 10
FWCI: 4.411
Citation percentile (by year/subfield): 98.52
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed