Subject
General Computer Science,Theoretical Computer Science
Reference22 articles.
1. The Optimal Implementation of Functional Programming Languages;Asperti,1998
2. Interaction systems I: The theory of optimal reductions;Asperti;Mathematical Structures in Computer Science,1994
3. Interaction systems II: The practice of optimal reductions;Asperti;Theoretical Computer Science,1996
4. Parallel beta reduction is not elementary recursive;Asperti;Inf. Comput.,2001
5. Linear logic, comonads and optimal reductions;Asperti;Fundamenta infomaticae,1995