Repository | Book

COPR Bookmark Link
185810

History and philosophy of constructive type theory

Giovanni Sommaruga

Details | Table of Contents

The present version of constructive type theory (1995) Giovanni Sommaruga

pp.1-166

https://doi.org/10.1007/978-94-015-9393-9_1
Metatheoretical considerations Giovanni Sommaruga

pp.167-217

https://doi.org/10.1007/978-94-015-9393-9_2
History of constructive type theory (1970–95) Giovanni Sommaruga

pp.219-310

https://doi.org/10.1007/978-94-015-9393-9_3
Philosophical and technical prehistory of constructive type theory (1880–1970) Giovanni Sommaruga

pp.311-346

https://doi.org/10.1007/978-94-015-9393-9_4
Conclusion Giovanni Sommaruga

pp.347-348

https://doi.org/10.1007/978-94-015-9393-9_5

Publication details

Publisher: Springer

Place: Dordrecht

Year: 2000

Pages: 367

ISBN (hardback): 978-90-481-5403-6

ISBN (digital): 978-94-015-9393-9

Full citation:

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