First Page | Document Content | |
---|---|---|
![]() Date: 2011-09-22 04:05:49Logic in computer science Lambda calculus Models of computation Computability theory Combinatory logic Curry–Howard correspondence Model theory Structure Programming Computable Functions Theoretical computer science Mathematics Mathematical logic | Add to Reading List |