Gå direkt till innehållet
Treatise on Intuitionistic Type Theory
Spara

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.
Upplaga
2011 ed.
ISBN
9789400736399
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2013-08-03
Förlag
Springer
Sidor
198