The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ugo de'Liguoro: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002