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

Activity: Talk or presentation typesInvited talk

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