Integrated Verification in Type Theory (Lecture Notes) (1996)

by Thorsten Altenkirch
Citations:6 - 0 self