Searching for authors named "Simone Martini" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Optimizing optimal reduction. A type inference algorithm for elementary affine logic
- … Università di Udine — Dip. di Matematica e Informatica Simone Martini Università di Bologna — Dip. di Scienze…
- Cited by 2 (0 self) – Add To MetaCart
-
On the Fine Structure of the Exponential Rule
- …On the Fine Structure of the Exponential Rule Simone Martini Andrea Masini Abstract We present…
- Cited by 13 (4 self) – Add To MetaCart
-
A Computational Interpretation of Modal Proofs
- …A Computational Interpretation of Modal Proofs Simone Martini Andrea Masini Abstract The usual…
- Cited by 29 (2 self) – Add To MetaCart
-
Modal Logic, Linear Logic, Optimal Lambda-Reduction
- …Modal Logic, Linear Logic, Optimal Lambda-Reduction Stefano Guerrini 1 , Simone Martini 2…
- Add To MetaCart
-
(Optimal) duplication is not elementary recursive
- …'Informazione Via di Mura Anteo Zamboni 40127 Bologna, Italy asperti@(email omitted); Paolo Coppola Simone Martini…
- Cited by 6 (1 self) – Add To MetaCart
-
Proof nets, Garbage, and Computations
- …Proof nets, Garbage, and Computations 1 Stefano Guerrini a Simone Martini c Andrea Masini b a…
- Cited by 6 (5 self) – Add To MetaCart
-
Coherence for Sharing Proof-Nets
- …Coherence for sharing proof-nets 1 Stefano Guerrini a;2 Simone Martini c;2 Andrea Masini b;3…
- Cited by 6 (5 self) – Add To MetaCart
-
Higher-Order Linear Ramified Recurrence
- …Higher-Order Linear Ramied Recurrence ? Ugo Dal Lago 1 , Simone Martini 1 , and Luca Roversi…
- Add To MetaCart
-
An extension of system F with subtyping
- …An extension of system F with subtyping Luca Cardelli 1 Simone Martini 2 John C. Mitchell 3 Andre…
- Cited by 100 (12 self) – Add To MetaCart
-
An extension of system F with subtyping
- …Page 1 An extension of system F with subtyping Luca Cardelli 1 Simone Martini 2 John C…
- Add To MetaCart
Showing 1 through 10.
