Pages that link to "Item:Q5958298"
From MaRDI portal
The following pages link to Innocent game models of untyped \(\lambda\)-calculus (Q5958298):
Displayed 9 items.
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- On full abstraction for PCF: I, II and III (Q1854393) (← links)
- Games characterizing Levy-Longo trees (Q1884875) (← links)
- Adapting innocent game models for the Böhm tree \(\lambda\)-theory (Q1884886) (← links)
- Evaluating lambda terms with traversals (Q2007730) (← links)
- (Q2851048) (← links)
- Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus (Q3007657) (← links)
- (Q5079740) (← links)
- Innocent game models of untyped \(\lambda\)-calculus (Q5958298) (← links)