Matthew Fluet
The Calculemus Autumn School
Christoph Kreitz, Matthew Fluet, and Sabina Petrides, October 28, 2002
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu