Innocent Game Models of Untyped λ-Calculus (2000)

by Andrew D. Ker , Hanno Nickau , C.-H. Luke Ong
Venue:Theoretical Computer Science
Citations:3 - 1 self

Document Versions

Innocent Game Models of Untyped λ-Calculus –Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong — 2000 — Theoretical Computer Science
Innocent Game Models of Untyped λ-Calculus –Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong — 1999
Games Models of Untyped lambda-Calculus –A. D. Ker, H. Nickau, C. -h. L. Ong — 1998
Innocent game models of untyped λ-calculus –Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong — 2002 — Theoretical Computer Science