Next: University of Cambridge Up: Università di Bologna Previous: Workshops, Travels and Visits
Next: University of Cambridge
Up: Università di Bologna
Previous: Workshops, Travels and Visits
[[AM98]] A. Asperti, H.Mairson Optimal
-reduction is not elementary recursive.
Proc. of the twenty-fifth Annual ACM SIGACT-SIGPLAN Symposium
on Principles of Programming Languages (POPL'98).
[[AG98]] A. Asperti, S. Guerrini The Optimal Implementation of Functional Programming Languages. To appear in the ``Cambridge Tracts in Theoretical Computer Science'' Series, Cambridge University Press, 1998.
[[BFL97]] M. Boreale, C. Fournet, C. Laneve: Bisimulations in the Join-Calculus. October 1997. Submitted.
[[FLMR97]] C. Fournet, C. Laneve, L. Maranget, D. Rèmy: Implicit Typing à la ML in the Join-Calculus. In Proceeding CONCUR '97, LNCS 1243.