Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 105
Repository | Book | Chapter
History of constructive type theory (1970–95)
pp. 219-310
Abstract
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.
Pages: 219-310
Deprecated: DateTime::createFromFormat(): Passing null to parameter #2 ($datetime) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 496
DOI: 10.1007/978-94-015-9393-9_3
Full citation:
Sommaruga Giovanni (2000) History of constructive type theory (1970–95), In: History and philosophy of constructive type theory, Dordrecht, Springer, 219–310.