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
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.