The Work Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, 15–18 December 2004, Revised Selected Papers The details The Author Christine Paulin-Mohring The offers View paperback on Amazon