next up previous contents
Next: University of Cambridge Up: Università di Bologna Previous: Workshops, Travels and Visits


[[AM98]] A. Asperti, H.Mairson Optimal $\beta$-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.