Back to Results
First PageMeta Content
Theoretical 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 Contents
Add to Reading List

Document Date: 2016-06-30 02:06:10


Open Document

File Size: 503,46 KB

Share Result on Facebook