Repository | Book

COPR BookmarkLink
185810

Springer, Dordrecht

2000

367 Pages

ISBN 978-90-481-5403-6

History and philosophy of constructive type theory

Giovanni Sommaruga

Publication details

Full citation:

Sommaruga, G. (2000). History and philosophy of constructive type theory, Springer, Dordrecht.

Table of Contents

The present version of constructive type theory (1995)

Sommaruga Giovanni

1-166

Open Access Link
Metatheoretical considerations

Sommaruga Giovanni

167-217

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

Sommaruga Giovanni

219-310

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

Sommaruga Giovanni

311-346

Open Access Link
Conclusion

Sommaruga Giovanni

347-348

Open Access Link
Is this table of contents incomplete? Click here to add the missing references

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