Outputs (1)

Types for proofs and programs : international workshop, TYPES 2000, Durham UK, December 8-12, 2000 (2002)
Book
Callaghan, P., Luo, Z., McKinna, J., & Pollack, R. (Eds.). (2002). Types for proofs and programs : international workshop, TYPES 2000, Durham UK, December 8-12, 2000. Springer Verlag. https://doi.org/10.1007/3-540-45842-5