Games characterizing Levy-Longo trees
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1722650 (Why is no real title available?)
- scientific article; zbMATH DE number 3875232 (Why is no real title available?)
- scientific article; zbMATH DE number 3523519 (Why is no real title available?)
- scientific article; zbMATH DE number 1342276 (Why is no real title available?)
- scientific article; zbMATH DE number 1841820 (Why is no real title available?)
- scientific article; zbMATH DE number 1424050 (Why is no real title available?)
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Full abstraction for PCF
- Full abstraction in the lazy lambda calculus
- Innocent game models of untyped \(\lambda\)-calculus
- On full abstraction for PCF: I, II and III
- Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
Cited in
(5)
This page was built for publication: Games characterizing Levy-Longo trees
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1884875)