Type assignment and termination of interaction nets

DOI10.1017/S0960129598002679MaRDI QIDQ4236201zbMATH OpenFDO

Authors Maribel Fernández

Publication date 22 March 1999

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129598002679

zbMATH Keywords

\(\lambda\)-calculusinteraction nets

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Theory of programming languages (68N15) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The structure of interaction
• Interaction nets and term-rewriting systems
• scientific article; zbMATH DE number 1487844
• An Explicit Framework for Interaction Nets
• An explicit framework for interaction nets

Cited in

(2)

• Interaction nets and term-rewriting systems
• The complexity of interaction

This page was built for publication: Type assignment and termination of interaction nets

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