Types for proofs and programs by International Workshop on Types for Proofs and Programs, (Båstad fromLecture Notes in Computer Science 0 Type: Book
