Types for Proofs and Programs

Paul Callaghan (Editor), Zhaohui Luo (Editor), James McKinna (Editor), Robert Pollack (Editor)

Research output: Book/ReportBook

Fingerprint

Dive into the research topics of 'Types for Proofs and Programs'. Together they form a unique fingerprint.

Arts & Humanities