The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pietro Di Gianantonio: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Pietro Di Gianantonio, Furio Honsell, Silvia Liani, Gordon D. Plotkin
    Countable Non-Determinism and Uncountable Limits. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:130-145 [Conf]
  2. Pietro Di Gianantonio
    Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity. [Citation Graph (0, 0)][DBLP]
    CSL, 2004, pp:130-144 [Conf]
  3. Pietro Di Gianantonio, Marino Miculan
    Unifying Recursive and Co-recursive Definitions in Sheaf Categories. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:136-150 [Conf]
  4. Pietro Di Gianantonio, Gianluca Franco
    The Fine Structure of Game Lambda Models. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2000, pp:429-441 [Conf]
  5. Pietro Di Gianantonio
    An Abstract Data Type for Real Numbers. [Citation Graph (0, 0)][DBLP]
    ICALP, 1997, pp:121-131 [Conf]
  6. C.-H. Luke Ong, Pietro Di Gianantonio
    Games Characterizing Levy-Longo Trees. [Citation Graph (0, 0)][DBLP]
    ICALP, 2002, pp:476-487 [Conf]
  7. Pietro Di Gianantonio
    Real Number Computability and Domain Theory. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:413-422 [Conf]
  8. Pietro Di Gianantonio, Furio Honsell, Luigi Liquori
    A Lambda Calculus of Objects with Self-Inflicted Extension. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1998, pp:166-178 [Conf]
  9. Pietro Di Gianantonio
    Game Semantics for the Pure Lazy lambda-calculus. [Citation Graph (0, 0)][DBLP]
    TLCA, 2001, pp:106-120 [Conf]
  10. Pietro Di Gianantonio, Gianluca Franco, Furio Honsell
    Game Semantics for Untyped lambda beta eta-Calculus. [Citation Graph (0, 0)][DBLP]
    TLCA, 1999, pp:114-128 [Conf]
  11. Pietro Di Gianantonio, Furio Honsell
    An Abstract Notion of Application. [Citation Graph (0, 0)][DBLP]
    TLCA, 1993, pp:124-138 [Conf]
  12. Pietro Di Gianantonio, Marino Miculan
    A Unifying Approach to Recursive and Co-recursive Definitions. [Citation Graph (0, 0)][DBLP]
    TYPES, 2002, pp:148-161 [Conf]
  13. Alberto Ciaffaglione, Pietro Di Gianantonio
    A Tour with Constructive Real Numbers. [Citation Graph (0, 0)][DBLP]
    TYPES, 2000, pp:41-52 [Conf]
  14. Alberto Ciaffaglione, Pietro Di Gianantonio
    A Co-inductive Approach to Real Numbers. [Citation Graph (0, 0)][DBLP]
    TYPES, 1999, pp:114-130 [Conf]
  15. Pietro Di Gianantonio, Pier Luca Lanzi
    Lazy Algorithms for Exact Real Arithmetic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:104, n:, pp:113-128 [Journal]
  16. Pietro Di Gianantonio
    Real Number Computability and Domain Theory. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:127, n:1, pp:11-25 [Journal]
  17. Pietro Di Gianantonio, Furio Honsell, Gordon D. Plotkin
    Uncountable Limits and the lambda Calculus. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1995, v:2, n:2, pp:126-145 [Journal]
  18. Alberto Ciaffaglione, Pietro Di Gianantonio
    A certified, corecursive implementation of exact real numbers. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:351, n:1, pp:39-51 [Journal]
  19. Pietro Di Gianantonio
    An Abstract Data Type for Real Numbers. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:221, n:1-2, pp:295-326 [Journal]
  20. C.-H. Luke Ong, Pietro Di Gianantonio
    Games characterizing Levy-Longo trees. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:312, n:1, pp:121-142 [Journal]

  21. Efficient Bisimilarities from Second-Order Reaction Semantics for pi-Calculus. [Citation Graph (, )][DBLP]


  22. RPO, Second-Order Contexts, and lambda-Calculus. [Citation Graph (, )][DBLP]


  23. Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi. [Citation Graph (, )][DBLP]


  24. RPO, Second-order Contexts, and Lambda-calculus [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