Publications

Papers

• (2022) Internal Enriched Categories, Applied Categorical Structures.
• (2022) (Deep) Induction Rules for GADTs, j.w.w. Johann, CPP 2022: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs.
• (2021) Parametricity for Primitive Nested Types, j.w.w. Jeffries and Johann, Foundations of Software Science and Computation Structures 2021 (FoSSaCS’21).
• (2021) Parametricity for Nested Types and GADTs, j.w.w. Johann, Logical Methods in Computer Science.
• (2021) GADTs, Functoriality, Parametricity: Pick Two, j.w.w. Jeffries and Johann, 16th Logical and Semantic Frameworks with Applications (LSFA 2021).
• (2020) Completeness for internal categories, arXiv version.

Doctoral dissertation

Internal enriched categories, supervised by Prof. Martin Hyland