Type theory as a foundation for computer science

DOI10.1007/3-540-54415-1_48zbMath1496.03054OpenAlexW1504884872MaRDI QIDQ5096219

Robert L. Constable

Publication date: 16 August 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-54415-1_48

Mathematics Subject Classification ID

Logic in computer science (03B70) Metamathematics of constructive systems (03F50) Type theory (03B38)

Related Items

A generic algebra for data collections based on constructive logic

Cites Work

• The calculus of constructions
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Edinburgh LCF. A mechanized logic of computation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item