First Page | Document Content | |
---|---|---|
Date: 2016-06-30 02:06:10Theoretical computer science Mathematical logic Computer science Logic in computer science Lambda calculus Models of computation Proof theory Computability theory Simply typed lambda calculus Natural deduction CurryHoward correspondence | An Introduction to Logical Relations Proving Program Properties Using Logical Relations Lau Skorstengaard ContentsAdd to Reading ListSource URL: www.cs.uoregon.eduDownload Document from Source WebsiteFile Size: 503,46 KBShare Document on Facebook |