Repository | Book | Chapter

185815

Conclusion

Giovanni Sommaruga

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.