Types for Proofs and Programs

Proofs

Taschenbuch

ISBN-13: 978-3-540-81988-2

ISBN-10: 3-540-81988-6

(978-3-540)