Repository | Buch | Kapitel
History of constructive type theory (1970–95)
pp. 219-310
Abstrakt
The history of constructive type theory is written along eight parameters; that is, it is written by following the historical development of eight of the most important features of this theory. These parameters are either different sorts of rules or else various more general features of type theory.
Publication details
Published in:
Sommaruga Giovanni (2000) History and philosophy of constructive type theory. Dordrecht, Springer.
Seiten: 219-310
DOI: 10.1007/978-94-015-9393-9_3
Referenz:
Sommaruga Giovanni (2000) History of constructive type theory (1970–95), In: History and philosophy of constructive type theory, Dordrecht, Springer, 219–310.