Fernando Lucatelli Nunes

12 papers Journal 12
YearRankTypeTitle / Venue / Authors
2025 J jnl
Unraveling the iterative CHAD.
CoRR
Fernando Lucatelli Nunes, Gordon D. Plotkin, Matthijs Vákár
2024 J jnl
Automatic differentiation for ML-family languages: Correctness via logical relations.
Math. Struct. Comput. Sci.
Fernando Lucatelli Nunes, Matthijs Vákár
2024 J jnl
Free Doubly-Infinitary Distributive Categories are Cartesian Closed.
CoRR
Fernando Lucatelli Nunes, Matthijs Vákár
2024 J jnl
Generalized Multicategories: Change-of-Base, Embedding, and Descent.
Appl. Categorical Struct.
Rui Prezado, Fernando Lucatelli Nunes
2024 J jnl
Monoidal closure of Grothendieck constructions via Σ-tractable monoidal structures and Dialectica formulas.
CoRR
Fernando Lucatelli Nunes, Matthijs Vákár
2023 J jnl
CHAD for expressive total languages.
Math. Struct. Comput. Sci.
Fernando Lucatelli Nunes, Matthijs Vákár
2023 J jnl
Descent for internal multicategory functors.
Appl. Categorical Struct.
Rui Prezado, Fernando Lucatelli Nunes
2022 J jnl
Automatic Differentiation for ML-family languages: correctness via logical relations.
CoRR
Fernando Lucatelli Nunes, Matthijs Vákár
2022 J jnl
Logical Relations for Partial Features and Automatic Differentiation Correctness.
CoRR
Fernando Lucatelli Nunes, Matthijs Vákár
2022 J jnl
Semantic Factorization and Descent.
Appl. Categorical Struct.
Fernando Lucatelli Nunes
2021 J jnl
CHAD for Expressive Total Languages.
CoRR
Fernando Lucatelli Nunes, Matthijs Vákár
2019 J jnl
Pseudoalgebras and Non-canonical Isomorphisms.
Appl. Categorical Struct.
Fernando Lucatelli Nunes