scientific article; zbMATH DE number 1424050
From MaRDI portal
zbMath0944.03015MaRDI QIDQ4945241
Hanno Nickau, C.-H. Luke Ong, Andrew D. Ker
Publication date: 23 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
equational theorygame modeluniversal modeluntyped \(\lambda\)-calculusBöhm tree \(\lambda\)-theoryinnocent game semantics
Related Items
Games characterizing Levy-Longo trees, Adapting innocent game models for the Böhm tree \(\lambda\)-theory, A General Class of Models of $\mathcal{H}^*$, Linear realizability and full completeness for typed lambda-calculi, Innocent game models of untyped \(\lambda\)-calculus, On full abstraction for PCF: I, II and III