dblp.uni-trier.dewww.uni-trier.de

Ugo de'Liguoro Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
23EEStefano Berardi, Ferruccio Damiani, Ugo de'Liguoro: Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers Springer 2009
22EEStefano Berardi, Ugo de'Liguoro: Toward the interpretation of non-constructive reasoning as non-monotonic learning. Inf. Comput. 207(1): 63-81 (2009)
2008
21EEStefano Berardi, Ugo de'Liguoro: A Calculus of Realizers for EM1 Arithmetic (Extended Abstract). CSL 2008: 215-229
20EEStefano Berardi, Ugo de'Liguoro: Calculi, types and applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca. Theor. Comput. Sci. 398(1-3): 1-11 (2008)
19EESteffen van Bakel, Ugo de'Liguoro: Logical Equivalence for Subtyping Object and Recursive Types. Theory Comput. Syst. 42(3): 306-348 (2008)
2007
18EEMariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Nobuko Yoshida: On Progress for Structured Communications. TGC 2007: 257-275
2005
17EESteffen van Bakel, Ugo de'Liguoro: Subtyping Object and Recursive Types Logically. ICTCS 2005: 66-80
2004
16EEFranco Barbanera, Ugo de'Liguoro: Type Assignement for Mobile Objects. Electr. Notes Theor. Comput. Sci. 104: 25-38 (2004)
2003
15EESteffen van Bakel, Ugo de'Liguoro: Logical Semantics for the First Order varsigma-Calculus. ICTCS 2003: 202-215
2002
14EEUgo de'Liguoro: Subtyping in Logical Form. Electr. Notes Theor. Comput. Sci. 70(1): (2002)
2001
13EEUgo de'Liguoro: Characterizing Convergent Terms in Object Calculi via Intersection Types. TLCA 2001: 315-328
1999
12EEStefano Berardi, Ugo de'Liguoro: Total Functionals and Well-Founded Strategies. TLCA 1999: 54-68
1998
11EEMariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno: A Filter Model for Concurrent lambda-Calculus. SIAM J. Comput. 27(5): 1376-1419 (1998)
1997
10 Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus. Fundam. Inform. 32(3-4): 193-250 (1997)
1996
9EEMariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno: Filter Models for Conjunctive-Disjunctive lambda-Calculi. Theor. Comput. Sci. 170(1-2): 83-128 (1996)
1995
8 Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: Intersection and Union Types: Syntax and Semantics Inf. Comput. 119(2): 202-230 (1995)
7 Ugo de'Liguoro, Adolfo Piperno: Non Deterministic Extensions of Untyped Lambda-Calculus. Inf. Comput. 122(2): 149-177 (1995)
1994
6EEFabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: May and Must Convergencey in Concurrent Lambda-Calculus. MFCS 1994: 211-220
5 Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno: Fully Abstract Semantics for Concurrent Lambda-calculus. TACS 1994: 16-35
4 Felice Cardone, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: Combining Type Disciplines. Ann. Pure Appl. Logic 66(3): 197-230 (1994)
1993
3EEMariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno: Filter Models for a Parallel and Non Deterministic Lambda-Calculus. MFCS 1993: 403-412
1992
2EEUgo de'Liguoro, Adolfo Piperno: Must Preorder in Non-Deterministic Untyped Lambda-Calculus. CAAP 1992: 203-220
1 Ugo de'Liguoro, Adolfo Piperno, Richard Statman: Retracts in simply typed lambda-beta-eta-calculus LICS 1992: 461-469

Coauthor Index

1Fabio Alessi [6] [10]
2Steffen van Bakel [15] [17] [19]
3Franco Barbanera [8] [16]
4Stefano Berardi [12] [20] [21] [22] [23]
5Felice Cardone [4]
6Ferruccio Damiani [23]
7Mariangiola Dezani-Ciancaglini [3] [4] [5] [6] [8] [9] [10] [11] [18]
8Adolfo Piperno [1] [2] [3] [5] [7] [9] [11]
9Richard Statman [1]
10Nobuko Yoshida [18]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)