Directed virtual reductions

DOI10.1007/3-540-63172-0_33MaRDI QIDQ4362911zbMATH OpenFDO

Authors Vincent Danos, Marco Pedicini, Laurent Regnier

Publication date 2 June 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-63172-0_33

zbMATH Keywords

combustion strategydirected virtual reductions

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Theory of programming languages (68N15) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• On global dynamics of optimal graph reduction
• scientific article; zbMATH DE number 1523048
• Optimal reductions in interaction systems
• A general theory of sharing graphs
• PELCR: parallel environment for optimal lambda-calculus reduction

Cited in

(6)

• Supporting function calls within PELCR
• scientific article; zbMATH DE number 1069251 (Why is no real title available?)
• scientific article; zbMATH DE number 2043520 (Why is no real title available?)
• Geometry of resource interaction and Taylor-Ehrhard-Regnier expansion: \textit{a minimalist approach}
• Abstract machines, optimal reduction, and streams
• Musings around the geometry of interaction, and coherence

This page was built for publication: Directed virtual reductions

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