Brouwer–Heyting–Kolmogorov interpretation

#	Item
1	Proofs in theories Gilles Dowek Draft, September 2013 2 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2015-05-25 05:47:28 Proof theory Dependently typed programming Type theory Logic in computer science Natural deduction Curry–Howard correspondence Theorem Mathematical proof Brouwer–Heyting–Kolmogorov interpretation Logic Mathematics Mathematical logic
2	Intuitionistic Logic of Proofs with dependent proof terms Giuseppe Primiero FWO – Centre for Logic and Philosophy of Science Ghent University (Belgium) Abstract Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-05-02 07:22:41 Proof theory Logical syntax Philosophical logic Logic in computer science Mathematical constructivism Natural deduction Mathematical proof Theorem Brouwer–Heyting–Kolmogorov interpretation Logic Mathematical logic Mathematics
3	Theoretical Computer Science[removed]–252 From constructivism to computer science 1 Add to Reading List Source URL: www.informatik.uni-ulm.de Language: English - Date: 1998-11-22 11:04:55 Mathematical constructivism Proof theory Epistemology Philosophy of mathematics Intuitionistic logic Realizability Curry–Howard correspondence Constructivism Brouwer–Heyting–Kolmogorov interpretation Logic Mathematical logic Mathematics