scientific article; zbMATH DE number 1424050

MaRDI QIDQ4945241zbMATH OpenFDO

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

Publication date 23 March 2000

zbMATH Keywords

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

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

Cited in

(6)

• Adapting innocent game models for the Böhm tree \(\lambda\)-theory
• On full abstraction for PCF: I, II and III
• Innocent game models of untyped \(\lambda\)-calculus
• 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)