Nickau, Hanno - Computing Laboratory, University of Oxford

Advanced Search

Browse by Discipline

Scientific Societies

E-print Network

FAQ • HELP • SITE MAP • CONTACT US

Powered by Explorit

Advanced Search

Nickau, Hanno - Computing Laboratory, University of Oxford

Table of Contents A Universal Innocent Game Model for the Bohm Tree Lambda Theory : : : 1
Hereditarily Sequential Functionals Hanno Nickau \Lambda
Innocent Game Models of Untyped -Calculus Andrew D. Ker, Hanno Nickau and C.-H. Luke Ong
Degrees of Parallelism Mastersthesis
Hereditarily Sequential Functionals: A GameTheoretic Approach to Sequentiality

Website Policies/Important Links