The fine structure of game lambda models

DOI10.1007/3-540-44450-5_35MaRDI QIDQ4472465zbMATH OpenFDO

Authors Pietro Di Gianantonio, Gianluca Franco

Publication date 4 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1974/19740429.htm

zbMATH Keywords

game semanticsuntyped lambda-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• The -game system: an approach to a meta-game
• Toward a Generic Mathematical Model of Abstract Game Theories
• On the game method for modelling
• Modularity and monotonicity of games
• Empirical models of discrete games
• Games in finite model theory
• A lattice-theoretic approach to a class of dynamic games
• Lattices of games
• scientific article; zbMATH DE number 1944386

Cited in

(8)

• Games characterizing Levy-Longo trees
• Adapting innocent game models for the Böhm tree \(\lambda\)-theory
• Game semantics for the pure lazy -calculus
• Game semantics and uniqueness of type inhabitance in the simply-typed -calculus
• The -game system: an approach to a meta-game
• A universal innocent game model for the Böhm tree lambda theory
• Deeper model endgame analysis
• A type assignment system for game semantics

This page was built for publication: The fine structure of game lambda models

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