Fernando Lucatelli Nunes

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 9

Top Topics

Subgraph Isomorphism

Highly Expressive

Logical Theories

Top Venues

Appl. Categorical Struct.

Math. Struct. Comput. Sci.

Publications

Fernando Lucatelli Nunes, Matthijs Vákár
Free Doubly-Infinitary Distributive Categories are Cartesian Closed. CoRR (2024)
Fernando Lucatelli Nunes, Matthijs Vákár
Monoidal closure of Grothendieck constructions via Σ-tractable monoidal structures and Dialectica formulas. CoRR (2024)
Rui Prezado, Fernando Lucatelli Nunes
Descent for internal multicategory functors. Appl. Categorical Struct. 31 (1) (2023)
Fernando Lucatelli Nunes, Matthijs Vákár
CHAD for expressive total languages. Math. Struct. Comput. Sci. 33 (4-5) (2023)
Fernando Lucatelli Nunes, Matthijs Vákár
Automatic Differentiation for ML-family languages: correctness via logical relations. CoRR (2022)
Fernando Lucatelli Nunes, Matthijs Vákár
Logical Relations for Partial Features and Automatic Differentiation Correctness. CoRR (2022)
Fernando Lucatelli Nunes
Semantic Factorization and Descent. Appl. Categorical Struct. 30 (6) (2022)
Fernando Lucatelli Nunes, Matthijs Vákár
CHAD for Expressive Total Languages. CoRR (2021)
Fernando Lucatelli Nunes
Pseudoalgebras and Non-canonical Isomorphisms. Appl. Categorical Struct. 27 (1) (2019)