Ugo de'Liguoro

	2012
29		Stefano Berardi, Ugo de'Liguoro: Interactive Realizers: A New Approach to Program Extraction from Nonconstructive Proofs. ACM Trans. Comput. Log. 13(2): 11 (2012)
	2011
28		Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro: A Filter Model for the λμ-Calculus - (Extended Abstract). TLCA 2011: 213-228
	2010
27		Franco Barbanera, Ugo de'Liguoro: Two notions of sub-behaviour for session-based client/server systems. PPDP 2010: 155-164
26		Stefano Berardi, Ugo de'Liguoro: Interactive Realizers and Monads CoRR abs/1005.2907: (2010)
	2009
25		Stefano 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
24		Franco Barbanera, Sara Capecchi, Ugo de'Liguoro: Typing Asymmetric Client-Server Interaction. FSEN 2009: 97-112
23		Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: Sessions and Session Types: An Overview. WS-FM 2009: 1-28
22		Stefano Berardi, Ugo de'Liguoro: Toward the interpretation of non-constructive reasoning as non-monotonic learning. Inf. Comput. 207(1): 63-81 (2009)
	2008
21		Stefano Berardi, Ugo de'Liguoro: A Calculus of Realizers for EM1 Arithmetic (Extended Abstract). CSL 2008: 215-229
20		Stefano 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)
19		Steffen van Bakel, Ugo de'Liguoro: Logical Equivalence for Subtyping Object and Recursive Types. Theory Comput. Syst. 42(3): 306-348 (2008)
	2007
18		Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Nobuko Yoshida: On Progress for Structured Communications. TGC 2007: 257-275
	2005
17		Steffen van Bakel, Ugo de'Liguoro: Subtyping Object and Recursive Types Logically. ICTCS 2005: 66-80
	2004
16		Franco Barbanera, Ugo de'Liguoro: Type Assignement for Mobile Objects. Electr. Notes Theor. Comput. Sci. 104: 25-38 (2004)
	2003
15		Steffen van Bakel, Ugo de'Liguoro: Logical Semantics for the First Order varsigma-Calculus. ICTCS 2003: 202-215
	2002
14		Ugo de'Liguoro: Subtyping in Logical Form. Electr. Notes Theor. Comput. Sci. 70(1): 72-87 (2002)
	2001
13		Ugo de'Liguoro: Characterizing Convergent Terms in Object Calculi via Intersection Types. TLCA 2001: 315-328
	1999
12		Stefano Berardi, Ugo de'Liguoro: Total Functionals and Well-Founded Strategies. TLCA 1999: 54-68
	1998
11		Mariangiola 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
9		Mariangiola 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
6		Fabio 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
3		Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno: Filter Models for a Parallel and Non Deterministic Lambda-Calculus. MFCS 1993: 403-412
	1992
2		Ugo 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

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

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page