A Modern Perspective on Type Theory
A Modern Perspective on Type Theory
- Dordrecht Springer Netherlands 2005.
Mathematics and Statistics (Springer-11649)
9781402023354, 978-1-4020-2335-4
Logic, Symbolic and mathematical
Computer science
Logic
Logic
Mathematical Logic and Foundations
Mathematics
Mathematics
Mathematics of Computing
511.3, / 23
Mathematics and Statistics (Springer-11649)
9781402023354, 978-1-4020-2335-4
Logic, Symbolic and mathematical
Computer science
Logic
Logic
Mathematical Logic and Foundations
Mathematics
Mathematics
Mathematics of Computing
511.3, / 23