Lecture Notes on Focusing Oregon Summer School 2010 Proof Theory Foundations Frank Pfenning Lecture 4 - Frank Howard - Document - PDFSEARCH.IO

First Page	Meta Content
	Lecture Notes on Focusing Oregon Summer School 2010 Proof Theory Foundations Frank Pfenning Lecture 4 Add to Reading List Document Date: 2010-06-23 09:43:10 Open Document File Size: 145,83 KB Share Result on Facebook IndustryTerm inference systems / proof search / real search / direct applications / / Organization Focusing Oregon Summer School / / ProgrammingLanguage C / / Technology functional programming / / SocialTag Sequent calculus Curry–Howard correspondence Entailment Linear logic Sequent Combinatory logic Natural deduction Logic Mathematical logic Proof theory

Lecture Notes on Focusing Oregon Summer School 2010 Proof Theory Foundations Frank Pfenning Lecture 4Add to Reading List