First Page | Document Content | |
---|---|---|
![]() Date: 2003-03-26 22:21:47Software engineering Programming language theory Declarative programming Automated theorem proving Logic programming Type theory Lambda calculus Formal methods Higher-order abstract syntax Nuprl Lisp Substitution | Add to Reading List |