From constructivism to computer science

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

A. S. Troelstra

Publication date: 12 January 1999

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

Full work available at URL: https://doi.org/10.1016/s0304-3975(97)00172-2

zbMATH Keywords

proof interpretation of intuitionistic logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (4)

Constructing situations and time ⋮ \(\mathcal {BCDL}\): Basic constructive description logic ⋮ Predicativity and constructive mathematics ⋮ Snapshot Generation in a Constructive Object-Oriented Modeling Language

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

This page was built for publication: From constructivism to computer science