Treatise on Intuitionistic Type Theory

Autor*innen

• Johan Georg Granström

Parameter

• 212 Seiten
• 8 Lesestunden

• Geschichte
• Informatik & Programmierung
• Mathematik
• Philosophie

Mehr zum Buch

Intuitionistic type theory serves as a groundbreaking foundation for mathematics while also functioning as a programming language. It embodies the vision of a universal language for science, merging logical rigor with practical application. This work explores its theoretical underpinnings and implications, offering insights into its role in both mathematical foundations and computational frameworks.

• Sprache: Englisch
• Erscheinungsdatum: 2013
• Einband: Paperback