Types for Proofs and Programs

H. Geuvers ; F. Wiedijk

International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers, Springer LNCS 2646, viii+331 pp., 2003

This page is hosted by the Department of Computer Science, University of Bologna.
Last updated Fri Feb 2 17:12:20 CET 2007.