scientific article; zbMATH DE number 2086645

MaRDI QIDQ4737181zbMATH OpenFDO

Authors

Publication date 11 August 2004

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

zbMATH Keywords

game semantics

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Games characterizing Levy-Longo trees
• scientific article; zbMATH DE number 3900780
• Structure theorems for game trees
• Tree projections: Game characterization and computational aspects
• scientific article; zbMATH DE number 4162309
• Games without repetitions on trees and multitrees
• Trees and Ehrenfeucht-Fraïssé games
• Combinatorial games on multi-type Galton-Watson trees
• The eigen-distribution of weighted game trees
• An Evasion Game on a Finite Tree

Cited in

(3)

• Game semantics and linear CPS interpretation
• Games characterizing Levy-Longo trees
• Adapting innocent game models for the Böhm tree \(\lambda\)-theory

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