layout	title	permalink
page	Publications	/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