Back to Results
First PageMeta Content
Software engineering / Programming language theory / Declarative programming / Automated theorem proving / Logic programming / Type theory / Lambda calculus / Formal methods / Higher-order abstract syntax / Nuprl / Lisp / Substitution


Practical Reflection in Nuprl Eli Barzilay Stuart Allen Robert Constable
Add to Reading List

Document Date: 2003-03-26 22:21:47

Open Document

File Size: 63,02 KB

Share Result on Facebook