May and must convergency in concurrent λ-calculus

DOI10.1007/3-540-58338-6_68zbMath1493.68079OpenAlexW3397358MaRDI QIDQ5096878

Mariangiola Dezani-Ciancaglini, Fabio Alessi, Ugo de'Liguoro

Publication date: 18 August 2022

Published in: Mathematical Foundations of Computer Science 1994 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58338-6_68

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (1)

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

Cites Work

• Domain theory in logical form
• Lambda-calculi for (strict) parallel functions
• A filter lambda model and the completeness of type assignment
• Unnamed Item
• Unnamed Item

This page was built for publication: May and must convergency in concurrent λ-calculus