Real number computability and domain theory P Di Gianantonio Information and computation 127 (1), 11-25, 1996 | 87 | 1996 |
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 | 64 | 2002 |
A certified, corecursive implementation of exact real numbers A Ciaffaglione, P Di Gianantonio Theoretical Computer Science 351 (1), 39-51, 2006 | 60 | 2006 |
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 | 51 | 1998 |
Uncountable limits and the lambda calculus P Di Gianantonio, F Honsell, G Plotkin Publishing Association Nordic Journal of Computing, 1995 | 46 | 1995 |
An abstract data type for real numbers P Di Gianantonio Theoretical Computer Science 221 (1-2), 295-326, 1999 | 42 | 1999 |
Game Semantics for Untyped λβη-Calculus P Di Gianantonio, G Franco, F Honsell Typed Lambda Calculi and Applications: 4th International Conference, TLCA’99 …, 1999 | 38 | 1999 |
An abstract notion of application P Di Gianantonio, F Honsell International Conference on Typed Lambda Calculi and Applications, 124-138, 1993 | 33 | 1993 |
A language for differentiable functions P Di Gianantonio, A Edalat International Conference on Foundations of Software Science and …, 2013 | 26 | 2013 |
Structures for multiplicative cyclic linear logic: Deepness vs cyclicity P Di Gianantonio International Workshop on Computer Science Logic, 130-144, 2004 | 26 | 2004 |
Unifying recursive and co-recursive definitions in sheaf categories P Di Gianantonio, M Miculan International Conference on Foundations of Software Science and Computation …, 2004 | 26 | 2004 |
A co-inductive approach to real numbers A Ciaffaglione, P Di Gianantonio International Workshop on Types for Proofs and Programs, 114-130, 1999 | 25 | 1999 |
A type assignment system for game semantics P Di Gianantonio, F Honsell, M Lenisa Theoretical Computer Science 398 (1-3), 150-169, 2008 | 20 | 2008 |
RPO, second-order contexts, and lambda-calculus P Di Gianantonio, F Honsell, M Lenisa Logical Methods in Computer Science 5, 2009 | 18 | 2009 |
A golden ratio notation for the real numbers P Di Gianantonio Centrum voor Wiskunde en Informatica, 1996 | 15 | 1996 |
Innocent game semantics via intersection type assignment systems P Di Gianantonio, M Lenisa Computer Science Logic 2013 (CSL 2013), 2013 | 10 | 2013 |
Game Semantics for the Pure Lazy λ-calculus P Di Gianantonio International Conference on Typed Lambda Calculi and Applications, 106-120, 2001 | 9 | 2001 |
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 | 8 | 2018 |
Composable partial multiparty session types C Stolze, M Miculan, P Di Gianantonio International Conference on Formal Aspects of Component Software, 44-62, 2021 | 7 | 2021 |