First Page | Document Content | |
---|---|---|
![]() Date: 2005-01-18 15:06:02Mathematics Models of computation Denotational semantics Lambda calculus Model theory Π-calculus Bisimulation Orbifold Theoretical computer science Applied mathematics Logic in computer science | Add to Reading List |