Type assignment and termination of interaction nets

DOI10.1017/S0960129598002679zbMATH Open0916.68097MaRDI QIDQ4236201FDOQ4236201

Authors: Maribel Fernández 

Publication date: 22 March 1999

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

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

zbMATH Keywords

\(\lambda\)-calculusinteraction nets

Mathematics Subject Classification ID

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

Cited In (1)

• Interaction nets and term-rewriting systems

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)