Gå direkte til innholdet
Treatise on Intuitionistic Type Theory
Spar

Treatise on Intuitionistic Type Theory

Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs.
Opplag
2011 ed.
ISBN
9789400736399
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
3.8.2013
Forlag
Springer
Antall sider
198