Preview
Unable to display preview. Download preview PDF.
References
S. Abramsky, “Domain Theory in Logical Form”, Ann. of Pure and Appl. Logics 51, 1991, 1–77.
F. Alessi, “Type Preorders”, CAAP'94, LNCS 787, 1994, 37–51.
H. Barendregt, M. Coppo, M. Dezani-Ciancaglini, “A Filter Lambda Model and the Completeness of Type Assignment”, J.Symbolic Logic 48, 1983, 931–940.
G. Boudol, “A Lambda Calculus for (Strict) Parallel Functions”, Info. and Comp. 108, 1994, 51–127.
M. Coppo, M. Dezani-Ciancaglini, G. Longo, “Applicative Information Systems”, CAAP '83, LNCS 159, 1983, 35–64.
M. Dezani-Ciancaglini, U. de'Liguoro, A. Piperno, “Filter Models for a Parallel and Non Deterministic λ-calculus”, MFCS '93, LNCS 711, 1993, 403–412.
M. Dezani-Ciancaglini, U. de'Liguoro, A. Piperno, “Fully Abstract Semantics for Concurrent λ-calculus”, TACS'94, LNCS 789, 1994, 16–35.
U. de Liguoro, A. Piperno, “Must Preorder in Non-deterministic Untyped λ-calculus”, CAAP '92, LNCS 582, 1992, 203–220.
C.-H.L. Ong, “Concurrent Lambda Calculus and a General Precongruence Theorem for Applicative Bisimulations”, Draft, Cambridge Un., 1992.
C.-H.L. Ong, “Non-Determinism in a Functional Setting”, LICS '93, IEEE Comp.Soc. Press, Silver Spring, 1993, 275–286.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alessi, F., Dezani-Ciancaglini, M., de'Liguoro, U. (1994). May and must convergency in concurrent λ-calculus. In: Prívara, I., Rovan, B., Ruzička, P. (eds) Mathematical Foundations of Computer Science 1994. MFCS 1994. Lecture Notes in Computer Science, vol 841. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58338-6_68
Download citation
DOI: https://doi.org/10.1007/3-540-58338-6_68
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58338-7
Online ISBN: 978-3-540-48663-3
eBook Packages: Springer Book Archive