A token machine for full geometry of interaction. Extended abstract

DOI10.1007/3-540-45413-6_23MaRDI QIDQ2778827zbMATH OpenFDO

Authors Olivier Laurent

Publication date 21 March 2002

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/2044/20440283

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Formal languages and automata (68Q45)

Recommendations

• The dynamic geometry of interaction machine: a token-guided graph rewriter
• A geometry of interaction machine for Gödel's system T
• The geometry of concurrent interaction: handling multiple ports by way of multiple tokens
• Computer Science Logic
• Towards a typed geometry of interaction
• From geometry of interaction to denotational semantics
• scientific article; zbMATH DE number 4099289
• The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter
• New foundations for the geometry of interaction
• A touch-operation-based dynamic geometry system: design and implementation

Cited in

(9)

• scientific article; zbMATH DE number 6917940 (Why is no real title available?)
• A correspondence between maximal abelian sub-algebras and linear logic fragments
• Geometry of resource interaction and Taylor-Ehrhard-Regnier expansion: \textit{a minimalist approach}
• The geometry of Bayesian programming
• On the expressivity of linear recursion schemes
• The geometry of concurrent interaction: handling multiple ports by way of multiple tokens
• Musings around the geometry of interaction, and coherence
• Towards a geometry of recursion
• (Definitely not) boring interaction abstract machines

This page was built for publication: A token machine for full geometry of interaction. Extended abstract

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