Type assignment and termination of interaction nets

DOI10.1017/S0960129598002679zbMath0916.68097MaRDI QIDQ4236201

Maribel Fernández

Publication date: 22 March 1999

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

zbMATH Keywords

\(\lambda\)-calculusinteraction nets

Mathematics Subject Classification ID

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

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