First Page | Document Content | |
---|---|---|
![]() Date: 2012-02-16 07:03:49Models of computation Software engineering Lambda calculus Programming paradigms Calculus Actor model Denotational semantics Functional programming Type theory Theoretical computer science Logic in computer science Computing | Add to Reading List |