Must Preorder in Non-Deterministic Untyped λ-calculus (1992)

by U. de'Liguoro , A. Piperno
Venue:IN CAAP '92, VOLUME 581 OF LNCS
Citations:10 - 1 self

Active Bibliography

6 Non-Deterministic Extensions of Untyped λ-calculus – Ugo de'Liguoro, Adolfo Piperno - 1995
Non-Deterministic untyped λ-calculus -- A study about explicit non determinism in higher-order functional calculi – Ugo de' Liguoro - 1991
12 Filter Models for Conjunctive-Disjunctive λ-calculi – Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno - 1996
1 A Convex Powerdomain over Lattices: its Logic and λ-Calculus – Fabio Alessi, Mariangiola Dezani-ciancaglini, Ugo De Liguoro, Of D - 1997
31 Games and full abstraction for nondeterministic languages – Russell S. Harmer - 1999
4 A Filter Model for Concurrent λ-Calculus – Mariangiola Dezani-ciancaglini, Ugo de'Liguoro, Adolfo Piperno - 1998
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
7 Böhm's Theorem for Böhm Trees – Mariangiola Dezani-Ciancaglini, Benedetto Intrigila, Marisa Venturini-Zilli - 1998
6 Full Abstractness for a Functional/Concurrent Language With Higher-Order Value-Passing – Chrysafis Hartonas, Takis Hartonas, Matthew Hennessy - 1998
64 The origins of structural operational semantics – Gordon D. Plotkin - 2004
1 lambda-Calculus, Multiplicities and the pi-Calculus – Gérard Boudol, Cosimo Laneve, Cosimo Laneve - 1995
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
1 Böhm's Theorem for Berarducci Trees – Mariangiola Dezani-ciancaglini, Paula Severi, Fer-Jan de Vries - 2000
23 Domain theory for concurrency – Mikkel Nygaard - 2003
4 Lazy Lambda Calculus: Theories, Models and Local Structure Characterisation – C.-H. Luke Ong - 1994
20 Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language – Andrew Moran, David Sands, Magnus Carlsson - 2003
Theses Series DISI-TH-2003-XX – Luca Paolini, Université De La Méditerranée, Luca Paolini, G. Rosolini, Ext Reviewers, A. Bucciarelli, S. Ronchi, Della Rocca
A Type-Free Resource-Aware λ-Calculus – Luca Roversi - 1996
19 Not enough points is enough – Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto - 2007