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.
ISBN
9789400717350
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
3.6.2011
Forlag
Springer
Antall sider
198