Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Thorsten Altenkirch Conor McBride Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers TYPES Lecture Notes in Computer Science 4502 Springer 2007 978-3-540-74463-4 db/conf/types/types2006.html