First Page | Document Content | |
---|---|---|
![]() Date: 2009-01-16 04:23:41Applied mathematics Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Semantics of programming languages Semantics Lambda calculus Theoretical computer science Mathematics Logic in computer science | Add to Reading List |