Back to Results
First PageMeta Content
Mathematics / Denotational semantics / Lambda calculus / Typed lambda calculus / Game semantics / Semantics of programming languages / Combinatory logic / Semantics / Functional programming / Theoretical computer science / Logic in computer science / Applied mathematics


Innocent Game Models of Untyped Lambda Calculus Andrew D. Ker University College, Oxford
Add to Reading List

Document Date: 2006-07-16 07:23:10

Open Document

File Size: 696,94 KB

Share Result on Facebook

Event

Person Communication and Meetings / /

Facility

Merton College / University College / Untyped Lambda Calculus Andrew D. Ker University College / /

IndustryTerm

nontrivial solution / important tool / /

Organization

Merton College / Oxford / Oxford University / Untyped Lambda Calculus Andrew D. Ker University College / University College / UK Engineering and Physical Sciences Research Council / /

Person

Henry Newbolt / Henry Dixon / Dominic Hughes / Guy McCusker / Luke Ong / /

Position

author / Captain / Colonel / supervisor / co-author / model / player / /

SocialTag