Thorsten Altenkirch: Higher Inductive Types

(Click on images for larger versions.)

Back to workshop webpage