First Page | Document Content | |
---|---|---|
![]() Date: 2005-06-23 21:20:00Software engineering Theoretical computer science Logic Logic programming Models of computation Functional languages Computability theory Lambda calculus Substitution Standard ML Higher-order abstract syntax Security type system | Add to Reading List |