[PS]
CITATION STYLE
Hofmann, M. (1997). Syntax and semantics of dependent types. In Extensional Constructs in Intensional Type Theory (pp. 13–54). Springer London. https://doi.org/10.1007/978-1-4471-0963-1_2
Mendeley helps you to discover research relevant for your work.