We stand with Ukraine  

Fernando Lucatelli Nunes

Orcid: 0000-0002-1817-2797

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Generalized Multicategories: Change-of-Base, Embedding, and Descent.
[BibTeX]
[DOI]
Rui Prezado
,
Fernando Lucatelli Nunes
Appl. Categorical Struct., December, 2024

Monoidal closure of Grothendieck constructions via Σ-tractable monoidal structures and Dialectica formulas.
[BibTeX]
[DOI]
Fernando Lucatelli Nunes
,
Matthijs Vákár
CoRR, 2024

Free Doubly-Infinitary Distributive Categories are Cartesian Closed.
[BibTeX]
[DOI]
Fernando Lucatelli Nunes
,
Matthijs Vákár
CoRR, 2024

2023
CHAD for expressive total languages.
[BibTeX]
[DOI]
Fernando Lucatelli Nunes
,
Matthijs Vákár
Math. Struct. Comput. Sci., 2023

Descent for internal multicategory functors.
[BibTeX]
[DOI]
Rui Prezado
,
Fernando Lucatelli Nunes
Appl. Categorical Struct., 2023

2022
Logical Relations for Partial Features and Automatic Differentiation Correctness.
[BibTeX]
[DOI]
Fernando Lucatelli Nunes
,
Matthijs Vákár
CoRR, 2022

Automatic Differentiation for ML-family languages: correctness via logical relations.
[BibTeX]
[DOI]
Fernando Lucatelli Nunes
,
Matthijs Vákár
CoRR, 2022

Semantic Factorization and Descent.
[BibTeX]
[DOI]
Fernando Lucatelli Nunes
Appl. Categorical Struct., 2022

2019
Pseudoalgebras and Non-canonical Isomorphisms.
[BibTeX]
[DOI]
Fernando Lucatelli Nunes
Appl. Categorical Struct., 2019


  Loading...