Fernando Lucatelli Nunes

According to our database, Fernando Lucatelli Nunes authored at least 10 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Unraveling the iterative CHAD.

Fernando Lucatelli Nunes, Gordon Plotkin, Matthijs Vákár

CoRR, May, 2025

2024

Generalized Multicategories: Change-of-Base, Embedding, and Descent.

Rui Prezado, Fernando Lucatelli Nunes

Appl. Categorical Struct., December, 2024

Automatic differentiation for ML-family languages: Correctness via logical relations.

Fernando Lucatelli Nunes, Matthijs Vákár

Math. Struct. Comput. Sci., 2024

Monoidal closure of Grothendieck constructions via Σ-tractable monoidal structures and Dialectica formulas.

Fernando Lucatelli Nunes, Matthijs Vákár

CoRR, 2024

Free Doubly-Infinitary Distributive Categories are Cartesian Closed.

Fernando Lucatelli Nunes, Matthijs Vákár

CoRR, 2024

2023

CHAD for expressive total languages.

Fernando Lucatelli Nunes, Matthijs Vákár

Math. Struct. Comput. Sci., 2023

Descent for internal multicategory functors.

Rui Prezado, Fernando Lucatelli Nunes

Appl. Categorical Struct., 2023

2022

Logical Relations for Partial Features and Automatic Differentiation Correctness.

Fernando Lucatelli Nunes, Matthijs Vákár

CoRR, 2022

Semantic Factorization and Descent.

Fernando Lucatelli Nunes

Appl. Categorical Struct., 2022

2019

Pseudoalgebras and Non-canonical Isomorphisms.

Fernando Lucatelli Nunes

Appl. Categorical Struct., 2019