Back to Results
First PageMeta Content
Applied mathematics / Type theory / Theory of computation / Logic in computer science / Typed lambda calculus / Simply typed lambda calculus / Henk Barendregt / Programming language theory / Radboud University Nijmegen / Theoretical computer science / Lambda calculus / Computer science


Document Date: 2012-02-07 07:09:47

Open Document

File Size: 4,55 MB

Share Result on Facebook
UPDATE