Cargando…

Treatise on intuitionistic type theory

Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science.  In particular, intuitionistic type theory is a foundation for mathematics and a programming language.

Detalles Bibliográficos
Autor principal: Granström, Johan Georg
Lenguaje:eng
Publicado: Springer 2011
Materias:
Acceso en línea:http://cds.cern.ch/record/2278716