Follow
Pietro Di Gianantonio
Pietro Di Gianantonio
Verified email at uniud.it - Homepage
Title
Cited by
Cited by
Year
Real number computability and domain theory
P Di Gianantonio
Information and computation 127 (1), 11-25, 1996
861996
A functional approach to computability on real numbers
P Di Gianantonio
Bulletin-European Association For Theoretical Computer Science 50, 518-518, 1993
77*1993
A unifying approach to recursive and co-recursive definitions
P Di Gianantonio, M Miculan
International Workshop on Types for Proofs and Programs, 148-161, 2002
642002
A certified, corecursive implementation of exact real numbers
A Ciaffaglione, P Di Gianantonio
Theoretical Computer Science 351 (1), 39-51, 2006
602006
A lambda calculus of objects with self-inflicted extension
P Di Gianantonio, F Honsell, L Liquori
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented …, 1998
511998
Uncountable limits and the lambda calculus
P Di Gianantonio, F Honsell, G Plotkin
Publishing Association Nordic Journal of Computing, 1995
461995
An abstract data type for real numbers
P Di Gianantonio
Theoretical Computer Science 221 (1-2), 295-326, 1999
421999
Game Semantics for Untyped λβη-Calculus
P Di Gianantonio, G Franco, F Honsell
Typed Lambda Calculi and Applications: 4th International Conference, TLCA’99 …, 1999
381999
An abstract notion of application
P Di Gianantonio, F Honsell
International Conference on Typed Lambda Calculi and Applications, 124-138, 1993
331993
A language for differentiable functions
P Di Gianantonio, A Edalat
International Conference on Foundations of Software Science and …, 2013
262013
Structures for multiplicative cyclic linear logic: Deepness vs cyclicity
P Di Gianantonio
International Workshop on Computer Science Logic, 130-144, 2004
262004
Unifying recursive and co-recursive definitions in sheaf categories
P Di Gianantonio, M Miculan
International Conference on Foundations of Software Science and Computation …, 2004
262004
A co-inductive approach to real numbers
A Ciaffaglione, P Di Gianantonio
International Workshop on Types for Proofs and Programs, 114-130, 1999
251999
A type assignment system for game semantics
P Di Gianantonio, F Honsell, M Lenisa
Theoretical Computer Science 398 (1-3), 150-169, 2008
202008
RPO, second-order contexts, and lambda-calculus
P Di Gianantonio, F Honsell, M Lenisa
Logical Methods in Computer Science 5, 2009
182009
A golden ratio notation for the real numbers
P Di Gianantonio
Centrum voor Wiskunde en Informatica, 1996
151996
Innocent game semantics via intersection type assignment systems
P Di Gianantonio, M Lenisa
Computer Science Logic 2013 (CSL 2013), 2013
102013
Game Semantics for the Pure Lazy λ-calculus
P Di Gianantonio
International Conference on Typed Lambda Calculi and Applications, 106-120, 2001
92001
Reversible Computation and Principal Types in λ!-calculus
A Ciaffaglione, P Di Gianantonio, F Honsell, M Lenisa, I Scagnetto
Logic and Applications LAP 2018, 27, 2018
82018
Composable partial multiparty session types
C Stolze, M Miculan, P Di Gianantonio
International Conference on Formal Aspects of Component Software, 44-62, 2021
72021
The system can't perform the operation now. Try again later.
Articles 1–20