First Page | Document Content | |
---|---|---|
Date: 2010-11-23 12:28:12Theoretical computer science Logic in computer science Curry–Howard correspondence Dependently typed programming Philosophy of computer science Type theory Natural deduction Lambda calculus Valuation Proof theory Mathematics Mathematical logic | The Duality of Computation (revision fixing typos and a few errors – JanuaryPierre-Louis Curien Hugo HerbelinAdd to Reading ListSource URL: pauillac.inria.frDownload Document from Source WebsiteFile Size: 304,88 KBShare Document on Facebook |