First Page | Document Content | |
---|---|---|
![]() Date: 2007-03-27 09:33:39Theoretical computer science Models of computation Lambda calculus Symbol Function Curry–Howard correspondence Fast-growing hierarchy Mathematics Mathematical logic Computability theory | Add to Reading List |