Fernando Lucatelli Nunes

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

Collaborative distances:

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

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

Automatic Differentiation for ML-family languages: correctness via logical relations.

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