scientific article; zbMATH DE number 5851814

MaRDI QIDQ3075443zbMATH OpenFDO

Authors Pierre-Louis Curien, Hugo Herbelin

Publication date 15 February 2011

zbMATH Keywords

abstract Böhm treeabstract machinesgame semantics

Mathematics Subject Classification ID

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

Recommendations

• Games that agents play: A formal framework for dialogues between autonomous agents
• Abstract models for dialogue protocols
• Abstract machines for game semantics, revisited
• scientific article; zbMATH DE number 5772817
• On dialogue games and graph games
• Dialogic games
• Abstract Machines for Argumentation

Cited in

(6)

• Dialogic games
• scientific article; zbMATH DE number 5772817 (Why is no real title available?)
• On the Meaning of Logical Completeness
• Abstract machines for game semantics, revisited
• Dialogue Game Tree with Nondeterministic Additive Consolidation
• Computational ludics

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