Flick Club LogoFlick Club Logo

Types for Proofs and Programs

Hutchison, David - undifferentiated

Hol Beweistheorie Computer Programming