Fernando Lucatelli Nunes


AuthID: R-004-SDH

Publications Requiring Validation

1
TITLE: Automatic differentiation for ML-family languages: Correctness via logical relations
AUTHORS: Nunes, Fernando Lucatelli; Vakar, Matthijs;
PUBLISHED: 2024, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
INDEXED IN: Scopus WOS
2
TITLE: LAX COMMA 2-CATEGORIES AND ADMISSIBLE 2-FUNCTORS In memory of Marta Bunge
AUTHORS: Clementino, Maria Manuel; Nunes, Fernando Lucatelli;
PUBLISHED: 2024, SOURCE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 40
INDEXED IN: WOS
3
TITLE: Generalized Multicategories: Change-of-Base, Embedding, and Descent
AUTHORS: Prezado, Rui; Nunes, Fernando Lucatelli;
PUBLISHED: 2024, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 32, ISSUE: 6
INDEXED IN: WOS
4
TITLE: Descent for internal multicategory functors  Full Text
AUTHORS: Prezado, Rui; Nunes, Fernando Lucatelli;
PUBLISHED: 2023, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 31, ISSUE: 1
INDEXED IN: Scopus WOS
5
TITLE: Semantic Factorization and Descent  Full Text
AUTHORS: Nunes, Fernando Lucatelli;
PUBLISHED: 2022, SOURCE: APPLIED CATEGORICAL STRUCTURES
INDEXED IN: Scopus WOS
6
TITLE: Pseudoalgebras and Non-canonical Isomorphisms  Full Text
AUTHORS: Fernando Lucatelli Nunes;
PUBLISHED: 2019, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 27, ISSUE: 1
INDEXED IN: Scopus WOS

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service