Open AccessReasoning about imperative and higher-order programs
Author(s) -
Vasileios Koutavas
Publication year - 2008
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.17760/d10016545
Subject(s) - equivalence (formal languages) , computer science , simply typed lambda calculus , calculus (dental) , typed lambda calculus , programming language , property (philosophy) , mathematics , lambda calculus , pure mathematics , epistemology , dentistry , medicine , philosophy
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom