Conceptual Programming with Python Mehr Bücher von Thorsten Altenkirch & Isaac Triguero

Types for Proofs and Programs Types for Proofs and Programs
Types for Proofs and Programs
2007