Search the dblp DataBase

Publications of Author

1. 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]
   
2. Ugo de'Liguoro, Adolfo Piperno
   Must Preorder in Non-Deterministic Untyped Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
   CAAP, 1992, pp:203-220 [Conf]
   
3. 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]
   
4. Steffen van Bakel, Ugo de'Liguoro
   Subtyping Object and Recursive Types Logically. [Citation Graph (0, 0)][DBLP]
   ICTCS, 2005, pp:66-80 [Conf]
   
5. 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]
   
6. 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]
   
7. 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]
   
8. 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]
   
9. Stefano Berardi, Ugo de'Liguoro
   Total Functionals and Well-Founded Strategies. [Citation Graph (0, 0)][DBLP]
   TLCA, 1999, pp:54-68 [Conf]
   
10. Ugo de'Liguoro
    Characterizing Convergent Terms in Object Calculi via Intersection Types. [Citation Graph (0, 0)][DBLP]
    TLCA, 2001, pp:315-328 [Conf]
    
11. 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]
    
12. 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]
    
13. Ugo de'Liguoro
    Subtyping in Logical Form. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:1, pp:- [Journal]
    
14. 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]
    
15. 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]
    
16. 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]
    
17. 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]
    
18. 
    A Calculus of Realizers for EM1 Arithmetic (Extended Abstract). [Citation Graph (, )][DBLP]
    
    
19. 
    Two notions of sub-behaviour for session-based client/server systems. [Citation Graph (, )][DBLP]
    
    
20. 
    On Progress for Structured Communications. [Citation Graph (, )][DBLP]
    
    
21. 
    Sessions and Session Types: An Overview. [Citation Graph (, )][DBLP]
    
    
22. 
    Typing Asymmetric Client-Server Interaction. [Citation Graph (, )][DBLP]
    
    
23. 
    Interactive Realizers and Monads [Citation Graph (, )][DBLP]