scientific article; zbMATH DE number 2080222

MaRDI QIDQ4472465zbMATH OpenFDO

Authors Pietro Di Gianantonio, Gianluca Franco

Publication date 4 August 2004

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

• scientific article; zbMATH DE number 1900858
• 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)

• Game semantics and uniqueness of type inhabitance in the simply-typed \(\lambda \)-calculus
• scientific article; zbMATH DE number 1424050 (Why is no real title available?)
• Adapting innocent game models for the Böhm tree \(\lambda\)-theory
• A type assignment system for game semantics
• scientific article; zbMATH DE number 1900858 (Why is no real title available?)
• Games characterizing Levy-Longo trees
• scientific article; zbMATH DE number 1722650 (Why is no real title available?)
• Deeper model endgame analysis

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 Q4472465)