Thorsten Altenkirch: Higher Inductive Types

(Click on images for larger versions.)





Back to workshop webpage