Higher inductive types

• Finitary Higher Inductive Types in the Groupoid Model (with Hugo Moeneclaey). In Mathematical Foundations of Program Semantics, Ljubljana, June 2017. To appear.
• Finitary Higher Inductive Types in the Groupoid Model (Full Version) (with Hugo Moeneclaey). June 2017.
• A Schema for Higher Inductive Types of Level One and Its Interpretation by Hugo Moeneclaey. Internship report, supervised by Peter Dybjer, ENS Cachan, August 2016.

• Finitary Higher Inductive Types in the Groupoid Model. Agda Implementors Meeting XXV, Gothenburg, May 2017.