First Page | Document Content | |
---|---|---|
![]() Date: 1999-04-14 16:12:51Type theory Models of computation Program analysis Type system Lambda calculus Curry–Howard correspondence Denotational semantics Theoretical computer science Mathematical logic Computer science | Add to Reading List |