First Page | Document Content | |
---|---|---|
![]() Date: 2014-07-10 05:49:28Type theory Models of computation Program analysis Type system Lambda calculus Curry–Howard correspondence Denotational semantics Theoretical computer science Computer science Applied mathematics | Add to Reading List |