From constructivism to computer science

DOI10.1016/S0304-3975(97)00172-2zbMath0913.68074MaRDI QIDQ1274450

A. S. Troelstra

Publication date: 12 January 1999

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

proof interpretation of intuitionistic logic

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

Related Items

Snapshot Generation in a Constructive Object-Oriented Modeling Language, \(\mathcal {BCDL}\): Basic constructive description logic

Uses Software

• Nuprl
• Automath

Cites Work

• The calculus of constructions
• A small complete category
• Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
• Zur Deutung der intuitionistischen Logik
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Cambridge summer school in mathematical logic, held in Cambridge/England, August 1-21, 1971
• A filter lambda model and the completeness of type assignment
• Constructive mathematics and computer programming
• Constructive natural deduction and its ‘ω-set’ interpretation
• A framework for defining logics
• Grundlagen der Mathematik I
• Formal systems for some branches of intuitionistic analysis
• The combinatory foundations of mathematical logic
• On the interpretation of intuitionistic number theory
• Refined program extraction from classical proofs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item