Deutsche Gesellschaft
für phänomenologische Forschung

Buch

COPR

Bookmark

Link

History and philosophy of constructive type theory

Giovanni Sommaruga

Details | Inhaltsverzeichnis

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

Ort: Dordrecht

Year: 2000

Seiten: 367

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

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

Referenz:

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