Searching for authors named Andrea Asperti – sorted by Relevance.
24 documents found, showing 1 through 10.
Next 10 →
-
Optimizing Optimal Lambda-Calculus Implementations
- …ffiffi!ffl = 1 Optimizing optimal -calculus implementations Andrea Asperti Dipartimento di…
- Add To MetaCart
-
Linear Logic, Comonads and Optimal Reductions
- …Linear Logic, Comonads and Optimal Reductions Andrea Asperti Dipartimento di Matematica, Universit…
- Cited by 6 (3 self) – Add To MetaCart
-
Comparing lambda-calculus translations in Sharing Graphs
- …Comparing -calculus translations in Sharing Graphs ? Andrea Asperti 1 and Cosimo Laneve 2 1…
- Add To MetaCart
-
Safe Operators: Brackets Closed Forever - Optimizing optimal lambda-calculus implementations
- …Safe Operators: Brackets Closed Forever Optimizing optimal -calculus implementations Andrea…
- Cited by 2 (0 self) – Add To MetaCart
-
Interaction Systems
- …Interaction Systems ? Andrea Asperti 1 and Cosimo Laneve 2 1 Dip. di Matematica, P.za di Porta…
- Cited by 4 (1 self) – Add To MetaCart
-
Searching Mathematics on the Web: State of the Art and Future Developments
- … and Future Developments Andrea Asperti Stefano Zacchiroli Department of Computer Science, University…
- Cited by 1 (0 self) – Add To MetaCart
-
Yet another correctness criterion for Multiplicative Linear Logic with MIX
- …Yet another correctness criterion for Multiplicative Linear Logic with MIX Andrea Asperti Giovanna…
- Cited by 5 (0 self) – Add To MetaCart
-
Paths, Computations and Labels in the λ-calculus
- …Paths, Computations and Labels in the -calculus Andrea Asperti Cosimo Laneve Dip. di Matematica…
- Cited by 3 (0 self) – Add To MetaCart
-
Interaction Systems II: The Practice of Optimal Reductions
- …Interaction Systems II The Practice of Optimal Reductions Andrea Asperti Cosimo Laneve Dip. di…
- Cited by 16 (5 self) – Add To MetaCart
-
Interaction Systems I: The theory of optimal reductions
- …Interaction Systems I The theory of optimal reductions Andrea Asperti Cosimo Laneve Universit…
- Cited by 37 (6 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
