Collection Principles in Dependent Type Theory

Peter Aczel, Nicola Gambino, Paul Callaghan (Editor), Zhaohui Luo (Editor), James McKinna (Editor), Robert Pollack (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Cite this