![Computer science / Programming language semantics / Models of computation / Type theory / Lambda calculus / Denotational semantics / Type system / Evaluation strategy / Operational semantics / Theoretical computer science / Applied mathematics / Logic in computer science Computer science / Programming language semantics / Models of computation / Type theory / Lambda calculus / Denotational semantics / Type system / Evaluation strategy / Operational semantics / Theoretical computer science / Applied mathematics / Logic in computer science](https://www.pdfsearch.io/img/676b050f5101961c15aeb0bcd5d859c4.jpg)
| Document Date: 2013-10-21 08:35:46 Open Document File Size: 655,93 KBShare Result on Facebook
Facility University of Birmingham / Paul Blain Levy University of Birmingham October / / IndustryTerm printing / / Organization University of Birmingham / / ProgrammingLanguage E / /
SocialTag |