Back to Results
First PageMeta Content
Type theory / Models of computation / Symbol / Lambda calculus / Greek alphabet / Type constructor / Curry–Howard correspondence / Normalisation by evaluation / Theoretical computer science / Mathematics / Computer science


Self-Representation in Girard’s System U Keywords Lambda Calculus; Self Representation; Types 1.
Add to Reading List

Document Date: 2015-01-10 19:46:17

Open Document

File Size: 407,04 KB

Share Result on Facebook
UPDATE