History and philosophy of constructive type theory

Giovanni Sommaruga

Table of Contents
Download
Other Editions

Open Access Link
1-166
The present version of constructive type theory (1995)

Sommaruga Giovanni

Open Access Link
167-217
Metatheoretical considerations

Sommaruga Giovanni

Open Access Link
219-310
History of constructive type theory (1970–95)

Sommaruga Giovanni

Open Access Link
311-346
Philosophical and technical prehistory of constructive type theory (1880–1970)

Sommaruga Giovanni

Open Access Link
347-348
Conclusion

Sommaruga Giovanni

This document is unfortunately not available for download at the moment.

Not implemented yet !