Strong normalization in the -calculus with intersection and union types

DOI10.3233/FI-2012-777MaRDI QIDQ4903720zbMATH OpenOpenAlexFDO

Authors Mauro Piccolo

Publication date 24 January 2013

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2012-777

zbMATH Keywords

linear \(\pi\)-calculussoundnessstrong normalizationtyping system

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Strong normalisation in the \(\pi\)-calculus
• scientific article; zbMATH DE number 2061702
• Strong normalization through intersection types and memory
• Termination in a \(\pi\)-calculus with subtyping
• Termination in a -calculus with subtyping

Cited in

(6)

• Nominal essential intersection types
• scientific article; zbMATH DE number 1696607 (Why is no real title available?)
• Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types
• scientific article; zbMATH DE number 1088033 (Why is no real title available?)
• scientific article; zbMATH DE number 2061702 (Why is no real title available?)
• Strong normalisation in the \(\pi\)-calculus

This page was built for publication: Strong normalization in the \(\pi \)-calculus with intersection and union types

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