Searching for authors named "Pietro Di Gianantonio" – sorted by Relevance.
-
A Golden Ratio Notation for the Real Numbers
- A Golden Ratio Notation for the Real Numbers Pietro Di Gianantonio CWI P.O. Box 94079, 1090 GB
- Cited by 10 (0 self) – Add To MetaCart
-
Game Semantics for the Pure Lazy λ-Calculus
- Game Semantics for the Pure Lazy -calculus ? Pietro Di Gianantonio Dipartimento di Matematica e
- Cited by 1 (1 self) – Add To MetaCart
-
Number Computability and Domain Theory
- Real Number Computability and Domain Theory ∗ Pietro Di Gianantonio dipartimento di Matematica e
- Cited by 7 (0 self) – Add To MetaCart
-
Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity
- Structures for multiplicative cyclic linear logic: deepness vs cyclicity Pietro Di Gianantonio
- Cited by 10 (0 self) – Add To MetaCart
-
A Tour with Constructive Real Numbers
- A tour with Constructive Real Numbers Alberto Ciaaglione and Pietro Di Gianantonio Dipartimento di
- Add To MetaCart
-
A Type Assignment System For The Game Semantics
- A TYPE ASSIGNMENT SYSTEM FOR THE GAME SEMANTICS PIETRO DI GIANANTONIO Dipartimento di Matematica e
- Cited by 2 (2 self) – Add To MetaCart
-
The Fine Structure of Game Lambda Models
- The Fine Structure of Game Lambda Models Pietro Di Gianantonio and Gianluca Franco Dipartimento
- Cited by 1 (1 self) – Add To MetaCart
-
A Unifying Approach to Recursive and Co-recursive Definitions
- A Unifying Approach to Recursive and Co-recursive Definitions ⋆ Pietro Di Gianantonio and Marino
- Cited by 3 (1 self) – Add To MetaCart
-
Uncountable Limits and the Lambda Calculus
- Nordic Journal of Computing Uncountable Limits and the Lambda Calculus PIETRO DI GIANANTONIO
- Cited by 15 (0 self) – Add To MetaCart
-
Game Semantics for Untyped λβη-Calculus
- Game semantics for untyped fij-calculus Pietro Di Gianantonio, Gianluca Franco, and Furio Honsell
- Add To MetaCart

