next up previous contents
Next: ENS Up: University of Edinburgh Previous: Workshops, Travels and Visits


[[AM97]] S. Abramsky, G. McCusker, Call-by-Value games (extended abstract) To appear in Proc. of CSL'97.

[[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).