Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Syntax and Semantics of Dependent Types
Home
Publications
Syntax and Semantics of Dependent Types
Syntax and Semantics of Dependent Types
MH
Martin Hofmann
Martin Hofmann
Publisher Website
Google Scholar
Cite
Download
Share
Download
30 January 1997
book chapter
book charpter
Published by
Cambridge University Press (CUP)
p.
79-130
https://doi.org/10.1017/cbo9780511526619.004
Abstract
Semantics and Logics of Computation - January 1997
Keywords
COMPREHENSION
EQUIVALENCE RELATION
AXIOM OF CHOICE
VALID
TYPE THEORY
CATEGORY
MAP
CANONICAL
CALCULUS OF CONSTRUCTIONS
SUM
FRAMEWORK
UNIVERSE
PRESHEAF
PULLBACK
DELIVERABLES
PRODUCT
COHERENCE
FUNCTION SPACE
TYPE
EXTENSIONAL
All Articles
Open Access
Cited by 35 articles