CMU POP Seminar: "Towards a Presentation of General Higher Inductive Types"

Activity: Talk or presentation typesInvited talk

Period22 Sept 2014
Held atCarnegie Mellon University, United States, Pennsylvania