From constructivism to computer science
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4179331 (Why is no real title available?)
- scientific article; zbMATH DE number 4191621 (Why is no real title available?)
- scientific article; zbMATH DE number 3427306 (Why is no real title available?)
- scientific article; zbMATH DE number 3882404 (Why is no real title available?)
- scientific article; zbMATH DE number 3825806 (Why is no real title available?)
- scientific article; zbMATH DE number 4049849 (Why is no real title available?)
- scientific article; zbMATH DE number 3681164 (Why is no real title available?)
- scientific article; zbMATH DE number 3735770 (Why is no real title available?)
- scientific article; zbMATH DE number 50149 (Why is no real title available?)
- scientific article; zbMATH DE number 3485174 (Why is no real title available?)
- scientific article; zbMATH DE number 3485716 (Why is no real title available?)
- scientific article; zbMATH DE number 3521950 (Why is no real title available?)
- scientific article; zbMATH DE number 3523506 (Why is no real title available?)
- scientific article; zbMATH DE number 3437100 (Why is no real title available?)
- scientific article; zbMATH DE number 3432235 (Why is no real title available?)
- scientific article; zbMATH DE number 3216178 (Why is no real title available?)
- scientific article; zbMATH DE number 3237808 (Why is no real title available?)
- scientific article; zbMATH DE number 3247154 (Why is no real title available?)
- scientific article; zbMATH DE number 3273873 (Why is no real title available?)
- scientific article; zbMATH DE number 3280068 (Why is no real title available?)
- scientific article; zbMATH DE number 3331288 (Why is no real title available?)
- scientific article; zbMATH DE number 3342819 (Why is no real title available?)
- A filter lambda model and the completeness of type assignment
- A framework for defining logics
- A small complete category
- Cambridge summer school in mathematical logic, held in Cambridge/England, August 1-21, 1971
- Constructive mathematics and computer programming
- Constructive natural deduction and its ‘ω-set’ interpretation
- Formal systems for some branches of intuitionistic analysis
- Grundlagen der Mathematik I
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- On the interpretation of intuitionistic number theory
- Refined program extraction from classical proofs
- Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
- The calculus of constructions
- The combinatory foundations of mathematical logic
- Zur Deutung der intuitionistischen Logik
Cited in
(9)- Snapshot Generation in a Constructive Object-Oriented Modeling Language
- \(\mathcal {BCDL}\): Basic constructive description logic
- Constructing situations and time
- Fundamental ideas and evolution of computer systems
- A note on synonymy in proof-theoretic semantics
- History of constructivism in the 20th century
- scientific article; zbMATH DE number 1779551 (Why is no real title available?)
- Predicativity and constructive mathematics
- On building constructive formal theories of computation noting the roles of Turing, Church, and Brouwer
This page was built for publication: From constructivism to computer science
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1274450)
