|
Search the dblp DataBase
Ugo de'Liguoro:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
Intersection and Union Types: Syntax and Semantics [Citation Graph (1, 0)][DBLP] Inf. Comput., 1995, v:119, n:2, pp:202-230 [Journal]
- Ugo de'Liguoro, Adolfo Piperno
Must Preorder in Non-Deterministic Untyped Lambda-Calculus. [Citation Graph (0, 0)][DBLP] CAAP, 1992, pp:203-220 [Conf]
- Steffen van Bakel, Ugo de'Liguoro
Logical Semantics for the First Order varsigma-Calculus. [Citation Graph (0, 0)][DBLP] ICTCS, 2003, pp:202-215 [Conf]
- Steffen van Bakel, Ugo de'Liguoro
Subtyping Object and Recursive Types Logically. [Citation Graph (0, 0)][DBLP] ICTCS, 2005, pp:66-80 [Conf]
- Ugo de'Liguoro, Adolfo Piperno, Richard Statman
Retracts in simply typed lambda-beta-eta-calculus [Citation Graph (0, 0)][DBLP] LICS, 1992, pp:461-469 [Conf]
- Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
May and Must Convergencey in Concurrent Lambda-Calculus. [Citation Graph (0, 0)][DBLP] MFCS, 1994, pp:211-220 [Conf]
- Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
Filter Models for a Parallel and Non Deterministic Lambda-Calculus. [Citation Graph (0, 0)][DBLP] MFCS, 1993, pp:403-412 [Conf]
- Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
Fully Abstract Semantics for Concurrent Lambda-calculus. [Citation Graph (0, 0)][DBLP] TACS, 1994, pp:16-35 [Conf]
- Stefano Berardi, Ugo de'Liguoro
Total Functionals and Well-Founded Strategies. [Citation Graph (0, 0)][DBLP] TLCA, 1999, pp:54-68 [Conf]
- Ugo de'Liguoro
Characterizing Convergent Terms in Object Calculi via Intersection Types. [Citation Graph (0, 0)][DBLP] TLCA, 2001, pp:315-328 [Conf]
- Felice Cardone, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
Combining Type Disciplines. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1994, v:66, n:3, pp:197-230 [Journal]
- Franco Barbanera, Ugo de'Liguoro
Type Assignement for Mobile Objects. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:104, n:, pp:25-38 [Journal]
- Ugo de'Liguoro
Subtyping in Logical Form. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:1, pp:- [Journal]
- Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1997, v:32, n:3-4, pp:193-250 [Journal]
- Ugo de'Liguoro, Adolfo Piperno
Non Deterministic Extensions of Untyped Lambda-Calculus. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:122, n:2, pp:149-177 [Journal]
- Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
A Filter Model for Concurrent lambda-Calculus. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1998, v:27, n:5, pp:1376-1419 [Journal]
- Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
Filter Models for Conjunctive-Disjunctive lambda-Calculi. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1996, v:170, n:1-2, pp:83-128 [Journal]
A Calculus of Realizers for EM1 Arithmetic (Extended Abstract). [Citation Graph (, )][DBLP]
Two notions of sub-behaviour for session-based client/server systems. [Citation Graph (, )][DBLP]
On Progress for Structured Communications. [Citation Graph (, )][DBLP]
Sessions and Session Types: An Overview. [Citation Graph (, )][DBLP]
Typing Asymmetric Client-Server Interaction. [Citation Graph (, )][DBLP]
Interactive Realizers and Monads [Citation Graph (, )][DBLP]
Search in 0.025secs, Finished in 0.026secs
|