|
Proceedings of the workshop Types for Proof and Programs, Geuvers, H. and Wiedijk, F. (eds.), LNCS, Springer-Verlag 2003.
This page is hosted by the
Department of Computer Science,
University of Bologna.
Last updated Fri Feb 2 17:12:28 CET 2007. |
|