Searching for authors named "Pietro Di Gianantonio" – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
