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
Conclusion
pp. 347-348
Abstract
This work is in many ways essentially incomplete or open.
Publication details
Published in:
Sommaruga Giovanni (2000) History and philosophy of constructive type theory. Dordrecht, Springer.
Pages: 347-348
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_5
Full citation:
Sommaruga Giovanni (2000) Conclusion, In: History and philosophy of constructive type theory, Dordrecht, Springer, 347–348.