scientific article; zbMATH DE number 1424050

zbMATH Open0944.03015MaRDI QIDQ4945241FDOQ4945241

Authors: Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong 

Publication date: 23 March 2000

Title of this publication is not available (Why is that?)

Recommendations

• Adapting innocent game models for the Böhm tree \(\lambda\)-theory
• Innocent game models of untyped \(\lambda\)-calculus
• Graph lambda theories
• scientific article; zbMATH DE number 2080222
• scientific article; zbMATH DE number 1342276

zbMATH Keywords

equational theorygame modeluniversal modeluntyped \(\lambda\)-calculusBöhm tree \(\lambda\)-theoryinnocent game semantics

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (6)

• Adapting innocent game models for the Böhm tree \(\lambda\)-theory
• Innocent game models of untyped \(\lambda\)-calculus
• On full abstraction for PCF: I, II and III
• Games characterizing Levy-Longo trees
• Linear realizability and full completeness for typed lambda-calculi
• A General Class of Models of $\mathcal{H}^*$

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4945241)