Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers
Geuvers, Herman ; Wiedijk, Freek Geuvers, Herman ; Wiedijk, Freek
Berlin, Heidelberg: Springer Berlin Heidelberg 2003
Texto completo disponível