Coquand's calculus of constructions: A mathematical foundation for a proof development system
Work
Year: 1992
Type: article
Source: Formal Aspects of Computing
Author Jonathan P. Seldin
Institution Concordia University
Cites: 23
Cited by: 7
Related to: 10
FWCI:
Citation percentile (by year/subfield): 70.98
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed