Back to Results
First PageMeta Content
Lambda calculus / Mathematical logic / Logic in computer science / Dependently typed programming / Theory of computation / Normalisation by evaluation / Simply typed lambda calculus / Typed lambda calculus / Dependent type / Type theory / Programming language theory / Theoretical computer science


Habilitationsschrift Normalization by Evaluation
Add to Reading List

Document Date: 2013-02-05 11:53:37

Open Document

File Size: 1.021,04 KB

Share Result on Facebook
UPDATE