Semantics of Recursive Types

Coq formalisation, report, and presentation.

• Interactive diagram The Coq development as a clickable graph.
• Presentation (HTML) Slides.
• Presentation (PDF) Slides as PDF.
• Report Semantics of Recursive Types (PDF).