First Page | Document Content | |
---|---|---|
![]() Date: 2009-11-01 21:42:18Logic in computer science Programming language semantics Models of computation Denotational semantics Operational semantics Structure Lambda calculus Theoretical computer science Mathematics Mathematical logic | Add to Reading List |