Conceptual Programming with Python More Books by Thorsten Altenkirch & Isaac Triguero

Types for Proofs and Programs

2007