Fingerprint
Dive into the research topics of 'Types for Proofs and Programs'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Types for Proofs and Programs
Paul Callaghan (Editor), Zhaohui Luo (Editor), James McKinna (Editor), Robert Pollack (Editor)
Research output: Book/Report › Book