Back to Results
First PageMeta Content
Logic programming / Type theory / Dependently typed programming / Programming language theory / Automated theorem proving / Higher-order abstract syntax / Lambda calculus / Substitution / Standard ML / Env / Normalisation by evaluation


Fundamenta Informaticae–19 1 IOS Press
Add to Reading List

Document Date: 2005-08-15 15:31:55

Open Document

File Size: 123,78 KB

Share Result on Facebook