A Convex Powerdomain over Lattices: its Logic and λ-Calculus (1997)

by Fabio Alessi , Mariangiola Dezani-Ciancaglini , Ugo de' Liguoro
Citations:1 - 1 self

Documents Related by Co-Citation

1 Principal Typing for Parallel and non-Deterministic lambda-calculus – Ali S. Aoun, Mariangiola Dezani-ciancaglini, Seref Mirasyedioglu, Franco Barbanera, Franco Barbanera - 1997
1 Types for Trees – Franco Barbanera, Mariangiola Dezani-ciancaglini, Fer-jan De Vries - 1998
1 calculus, multiplicities and the -calculus, Rapport de Recherche 2581 – G Boudol, C Laneve - 1995
1 A characterization of F -complete type assignments, Theoret – M Dezani-Ciancaglini, I Margaria - 1986
1 Modal logics for mobile processes, Theoret – R Milner, J Parrow, D Walker - 1993
1 A theory of bisimulation for the -calculus, in "Proc. CONCUR'93 – D Sangiorgi - 1993
1 The lazy functions and mobile processes", Rapport de Recherche 2515 – D Sangiorgi - 1995
1 Domains for denotational semantics, in "Proc. ICALP'82" (M.Nielsen and E.M.Schmidt, Eds – D Scott - 1982
5 Discrimination by Parallel Observers – Mariangiola Dezani-ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn - 1997
3 The discriminating power of multiplicities – G Boudol, C Laneve - 1996
7 The Lazy -Calculus : an Investigation into the Foundations of Functional Programming – C-H L Ong - 1988
11 Concurrent Lambda Calculus and a General Precongruence Theorem for Applicative Bisimulations – C-H L Ong - 1992
24 A Lambda Calculus for (Strict) Parallel Functions – G Boudol - 1994
4 A Filter Model for Concurrent -Calculi – M Dezani-Ciancaglini, U de'Liguoro, A Piperno - 1998
26 Type Theories, Normal Forms and D1-Lambda-Models. Information and Computation 72 – M COPPO, M DEZANI-CIANCAGLINI, M ZACCHI - 1987
9 The Lazy -Calculus in a Concurrency Scenario – D Sangiorgi - 1994
4 Lazy Lambda Calculus: Theories, Models and Local Structure Characterisation – C.-H. Luke Ong - 1994
11 An algebraic interpretation of the fiK-calculus; and an application of a labelled -calculus – J J L'evy - 1976
7 Böhm's Theorem for Böhm Trees – Mariangiola Dezani-Ciancaglini, Benedetto Intrigila, Marisa Venturini-Zilli - 1998