Searching for authors named "Andrea Asperti" – sorted by Relevance.
31 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
-
The Intensional Content of Rice’s Theorem
- …The Intensional Content of Rice’s Theorem Andrea Asperti Department of Computer Science…
- Add To MetaCart
-
Matita Tutorial
- …Matita Tutorial Andrea Asperti May 13, 2009Contents 1 Getting started 5 1.1 Natural Numbers…
- 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
Showing 1 through 10.
Next 10 →
