2 books • 1 series
Adapting Proofs-As-Programs (Monographs in Computer Science)
Adapting Proofs-As-Programs: The Curry--Howard Protocol (Monographs in Computer Science)