Pseudoalgebras and Non-canonical Isomorphisms. - Fernando Lucatelli Nunes (Appl. Categorical Struct., 2019)

Semantic Factorization and Descent. - Fernando Lucatelli Nunes (Appl. Categorical Struct., 2022)

Logical Relations for Partial Features and Automatic Differentiation Correctness. - Fernando Lucatelli Nunes; Matthijs Vákár (CoRR, 2022)

Descent for internal multicategory functors. - Rui Prezado; Fernando Lucatelli Nunes (Appl. Categorical Struct., 2023)

CHAD for expressive total languages. - Fernando Lucatelli Nunes; Matthijs Vákár (Math. Struct. Comput. Sci., 2023)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed. - Fernando Lucatelli Nunes; Matthijs Vákár (CoRR, 2024)

Monoidal closure of Grothendieck constructions via Σ-tractable monoidal structures and Dialectica formulas. - Fernando Lucatelli Nunes; Matthijs Vákár (CoRR, 2024)

Automatic differentiation for ML-family languages: Correctness via logical relations. - Fernando Lucatelli Nunes; Matthijs Vákár (Math. Struct. Comput. Sci., 2024)

Generalized Multicategories: Change-of-Base, Embedding, and Descent. - Rui Prezado; Fernando Lucatelli Nunes (Appl. Categorical Struct., 2024)

Unraveling the iterative CHAD. - Fernando Lucatelli Nunes; Gordon Plotkin; Matthijs Vákár (CoRR, 2025)