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
821996
A functional approach to computability on real numbers
P Di Gianantonio
Bulletin-European Association For Theoretical Computer Science 50, 518-518, 1993
74*1993
A certified, corecursive implementation of exact real numbers
A Ciaffaglione, P Di Gianantonio
Theoretical Computer Science 351 (1), 39-51, 2006
572006
A unifying approach to recursive and co-recursive definitions
PD Gianantonio, M Miculan
International Workshop on Types for Proofs and Programs, 148-161, 2002
572002
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
491998
Uncountable limits and the lambda calculus
P Di Gianantonio, F Honsell, G Plotkin
Publishing Association Nordic Journal of Computing, 1995
471995
Game Semantics for Untyped lambda beta eta-Calculus.
P Di Gianantonio, G Franco, F Honsell
TLCA 99, 114-128, 1999
401999
An abstract data type for real numbers
P Di Gianantonio
Theoretical Computer Science 221 (1-2), 295-326, 1999
391999
An abstract notion of application
PD Gianantonio, F Honsell
International Conference on Typed Lambda Calculi and Applications, 124-138, 1993
311993
Unifying recursive and co-recursive definitions in sheaf categories
PD Gianantonio, M Miculan
International Conference on Foundations of Software Science and Computationá…, 2004
252004
A language for differentiable functions
PD Gianantonio, A Edalat
International Conference on Foundations of Software Science andá…, 2013
232013
Structures for multiplicative cyclic linear logic: Deepness vs cyclicity
PD Gianantonio
International Workshop on Computer Science Logic, 130-144, 2004
232004
A type assignment system for game semantics
P Di Gianantonio, F Honsell, M Lenisa
Theoretical Computer Science 398 (1-3), 150-169, 2008
212008
A co-inductive approach to real numbers
A Ciaffaglione, PD Gianantonio
International Workshop on Types for Proofs and Programs, 114-130, 1999
211999
RPO, Second-Order Contexts, and λ-Calculus
PD Gianantonio, F Honsell, M Lenisa
International Conference on Foundations of Software Science andá…, 2008
182008
A golden ratio notation for the real numbers
P Di Gianantonio
Centrum voor Wiskunde en Informatica, 1996
131996
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
PD 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
72018
Countable non-determinism and uncountable limits
PD Gianantonio, F Honsell, S Liani, GD Plotkin
International Conference on Concurrency Theory, 130-145, 1994
71994
The system can't perform the operation now. Try again later.
Articles 1–20