Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 Revised Selected Papers (Lecture Notes in Computer Science (4502), Band 4502)

Altenkirch

von: Thorsten Altenkirch · Conor McBride

Taschenbuch

ISBN-13: 978-3-540-74463-4

ISBN-10: 3-540-74463-0

Springer · 2007