Pietro Di Gianantonio
Pietro Di Gianantonio
Bestätigte E-Mail-Adresse bei uniud.it - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Real number computability and domain theory
P Di Gianantonio
Information and Computation 127 (1), 11-25, 1996
801996
A functional approach to computability on real numbers
P Di Gianantonio
Bulletin-European Association For Theoretical Computer Science 50, 518-518, 1993
73*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
542002
A certified, corecursive implementation of exact real numbers
A Ciaffaglione, P Di Gianantonio
Theoretical Computer Science 351 (1), 39-51, 2006
522006
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
461998
Uncountable limits and the lambda calculus
P Di Gianantonio, F Honsell, G Plotkin
Publishing Association Nordic Journal of Computing, 1995
451995
An abstract data type for real numbers
P Di Gianantonio
Theoretical Computer Science 221 (1-2), 295-326, 1999
391999
Game Semantics for Untyped λβη-Calculus
P Di Gianantonio, G Franco, F Honsell
International Conference on Typed Lambda Calculi and Applications, 114-128, 1999
381999
An abstract notion of application
P Di Gianantonio, F Honsell
International Conference on Typed Lambda Calculi and Applications, 124-138, 1993
311993
Unifying recursive and co-recursive definitions in sheaf categories
P Di Gianantonio, M Miculan
International Conference on Foundations of Software Science and Computation …, 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
222008
Structures for multiplicative cyclic linear logic: Deepness vs cyclicity
P Di Gianantonio
International Workshop on Computer Science Logic, 130-144, 2004
222004
RPO, second-order contexts, and λ-calculus
P Di Gianantonio, F Honsell, M Lenisa
International Conference on Foundations of Software Science and …, 2008
192008
A co-inductive approach to real numbers
A Ciaffaglione, P Di Gianantonio
International Workshop on Types for Proofs and Programs, 114-130, 1999
191999
A language for differentiable functions
P Di Gianantonio, A Edalat
International Conference on Foundations of Software Science and …, 2013
172013
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
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
72018
Countable non-determinism and uncountable limits
P Di Gianantonio, F Honsell, S Liani, GD Plotkin
International Conference on Concurrency Theory, 130-145, 1994
71994
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20