Locally cartesian closed categories and type theory
Work
Year: 1984
Type: article
Author R. A. G. Seely
Institution John Abbott College
Cites: 9
Cited by: 200
Related to: 10
FWCI: 2.672
Citation percentile (by year/subfield): 98.49
Subfield: Mathematical Physics
Field: Mathematics
Domain: Physical Sciences
Open Access status: closed