Curry–Howard correspondence - PDFSEARCH.IO - Document Search Engine

Curry–Howard correspondence
Results: 226

#	Item
1	Logic and programming The Temporal Curry–Howard Correspondence Conclusions and outlook Add to Reading List Source URL: www.ioc.ee - Date: 2012-04-24 14:51:31
2	INSTRUCTIONS FOR PRODUCING A CAMERA-READY MANUSCRIPT A.B. AUTHOR Department of Physics, Theoretical Physics, 1 Keble Road, Oxford OX1 3NP, England This is where the abstract should be placed. It should consist of one pa Add to Reading List Source URL: moriond.in2p3.fr Language: English - Date: 2015-04-01 17:53:21 Dependently typed programming Philosophy of computer science Type theory Proof theory Ordinal numbers Curry–Howard correspondence
3	Unbounded Proof-Length Speed-up in Deduction Modulo Guillaume Burel1 1 Universit´e Henri Poincar´e & LORIA2 Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:30:45 Propositional calculus Proof theory Logic in computer science Boolean algebra Formal systems Natural deduction Curry–Howard correspondence Sequent calculus Frege system Logic Mathematical logic Mathematics
4	Self-Representation in Girard’s System U Keywords Lambda Calculus; Self Representation; Types 1. Add to Reading List Source URL: compilers.cs.ucla.edu Language: English - Date: 2015-01-10 19:46:17 Type theory Models of computation Symbol Lambda calculus Greek alphabet Type constructor Curry–Howard correspondence Normalisation by evaluation Theoretical computer science Mathematics Computer science
5	Jordan Journal of Mathematics and Statistics (JJMS) 3(3), 2010, ppAN EXTENSION OF MULHOLLAND’S INEQUALITY BICHENG YANG Abstract. By introducing multi-parameters and using the way of weight coefficients and Add to Reading List Source URL: journals.yu.edu.jo Language: English - Date: 2012-02-24 11:21:41 Logic Computability theory Curry–Howard correspondence Logic in computer science Philosophy of computer science Type theory Symbol Mathematical logic Mathematics Proof theory
6	Notes on a paper of Ioannidis John D. Cook February 26, 2010 Abstract This note makes explicit a few calculations that are implicit in the essay Why Most Published Research Findings Are False by John Add to Reading List Source URL: www.johndcook.com Language: English - Date: 2013-07-09 18:21:40 Diophantine approximation Ordinal arithmetic Curry–Howard correspondence Mathematical analysis Mathematics Constructible universe
7	Soundness of embeddings in the λΠ-calculus modulo rewriting Ali Assaf Deducteam, Inria Paris-Rocquencourt École Polytechnique Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-12-18 18:53:18 Logic Logic in computer science Dependently typed programming Lambda calculus Proof theory Curry–Howard correspondence First-order logic Logical framework System F Mathematical logic Theoretical computer science Type theory
8	A theory independent Curry-De Bruijn-Howard correspondence Gilles Dowek INRIA, 23 avenue d’Italie, CS 81321, 75214 Paris Cedex 13, France. Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2012-05-08 12:32:10
9	On Elementary Linear Logic and polynomial time (Extended Abstract) Patrick Baillot∗ ENS Lyon, Universit´e de Lyon, LIP (UMR 5668 CNRS-ENSL-INRIA-UCBL) Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2015-05-05 07:12:16 Complexity classes Proof theory Structural complexity theory Curry–Howard correspondence Type theory NP Time complexity Reduction Linear logic Theoretical computer science Computational complexity theory Applied mathematics
10	Naming Proofs in Classical Propositional Logic Fran¸cois Lamarche Lutz Straßburger LORIA & INRIA-Lorraine Add to Reading List Source URL: www.loria.fr Language: English - Date: 2005-01-31 14:08:48 Natural deduction Curry–Howard correspondence Sequent calculus Entailment Cut-elimination theorem Sequent Linear logic Intuitionistic logic Soundness Logic Mathematical logic Proof theory