scientific article; zbMATH DE number 2080222

zbMATH Open1044.03007MaRDI QIDQ4472465FDOQ4472465

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

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

game semanticsuntyped lambda-calculus

Mathematics Subject Classification ID

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

Cited In (8)

• Game semantics and uniqueness of type inhabitance in the simply-typed \(\lambda \)-calculus
• Title not available (Why is that?)
• Adapting innocent game models for the Böhm tree \(\lambda\)-theory
• A type assignment system for game semantics
• Title not available (Why is that?)
• Games characterizing Levy-Longo trees
• Title not available (Why is that?)
• 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)