Programs from Proofs IV Programs from Proofs IV Programs from classical proofs via G¨ odel’s dialectica interpretation - Binomial - Document - PDFSEARCH.IO

First Page	Meta Content
	Programs from Proofs IV Programs from Proofs IV Programs from classical proofs via G¨ odel’s dialectica interpretation Add to Reading List Document Date: 2011-05-27 18:07:14 Open Document File Size: 367,14 KB Share Result on Facebook Country United States / / Facility Paulo Oliva Queen Mary University of London MFPS Tutorial Pittsburgh / / Organization Paulo Oliva Queen Mary University of London MFPS Tutorial Pittsburgh / / Product No Injection / / SocialTag Metalogic Dialectica interpretation First-order logic Constructible universe Curry–Howard correspondence Binomial coefficient Mathematical logic Proof theory Logic

Programs from Proofs IV Programs from Proofs IV Programs from classical proofs via G¨ odel’s dialectica interpretationAdd to Reading List