Next: ENS
Up: University of Edinburgh
Previous: Workshops, Travels and Visits
[[HY97]] K. Honda, N. Yoshida, Game-theoretic analysis of Call-by-Value Computation (extended abstract). To appear in Proc. of ICALP'97.
[[M97]] P.-A. Melliès, A factorisation theorem in Rewriting Theory. Proc. of the Category Theory and Computer Science symposium (CTCS'97).