Fernando Lucatelli Nunes
AuthID: R-004-SDH
1
TÃTULO: Free extensivity via distributivity
AUTORES: Nunes, Fernando Lucatelli; Prezado, Rui; Vakar, Matthijs;
PUBLICAÇÃO: 2025, FONTE: PORTUGALIAE MATHEMATICA, VOLUME: 82, NÚMERO: 1-2
AUTORES: Nunes, Fernando Lucatelli; Prezado, Rui; Vakar, Matthijs;
PUBLICAÇÃO: 2025, FONTE: PORTUGALIAE MATHEMATICA, VOLUME: 82, NÚMERO: 1-2
INDEXADO EM: 
Scopus 
WOS
Scopus WOS2
TÃTULO: LAX COMMA CATEGORIES: CARTESIAN CLOSEDNESS, EXTENSIVITY, TOPOLOGICITY, AND DESCENT Full Text
AUTORES: Clementino, Maria Manuel; Nunes, Fernando Lucatelli; Prezado, Rui;
PUBLICAÇÃO: 2024, FONTE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 41
AUTORES: Clementino, Maria Manuel; Nunes, Fernando Lucatelli; Prezado, Rui;
PUBLICAÇÃO: 2024, FONTE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 41
INDEXADO EM: Scopus WOS
Scopus WOS3
TÃTULO: Automatic differentiation for ML-family languages: Correctness via logical relations
AUTORES: Nunes, Fernando Lucatelli; Vakar, Matthijs;
PUBLICAÇÃO: 2024, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
AUTORES: Nunes, Fernando Lucatelli; Vakar, Matthijs;
PUBLICAÇÃO: 2024, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
INDEXADO EM: Scopus WOS
Scopus WOS4
TÃTULO: LAX COMMA 2-CATEGORIES AND ADMISSIBLE 2-FUNCTORS In memory of Marta Bunge
AUTORES: Clementino, Maria Manuel; Nunes, Fernando Lucatelli;
PUBLICAÇÃO: 2024, FONTE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 40
AUTORES: Clementino, Maria Manuel; Nunes, Fernando Lucatelli;
PUBLICAÇÃO: 2024, FONTE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 40
INDEXADO EM: WOS
WOS5
TÃTULO: Generalized Multicategories: Change-of-Base, Embedding, and Descent
AUTORES: Prezado, Rui; Nunes, Fernando Lucatelli;
PUBLICAÇÃO: 2024, FONTE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 32, NÚMERO: 6
AUTORES: Prezado, Rui; Nunes, Fernando Lucatelli;
PUBLICAÇÃO: 2024, FONTE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 32, NÚMERO: 6
INDEXADO EM: WOS
WOS6
TÃTULO: LAX COMMA 2-CATEGORIES AND ADMISSIBLE 2-FUNCTORS Full Text
AUTORES: Maria Manuel Clementino; Fernando Lucatelli Nunes;
PUBLICAÇÃO: 2024, FONTE: Theory and Applications of Categories, VOLUME: 40, NÚMERO: 6
AUTORES: Maria Manuel Clementino; Fernando Lucatelli Nunes;
PUBLICAÇÃO: 2024, FONTE: Theory and Applications of Categories, VOLUME: 40, NÚMERO: 6
INDEXADO EM: Scopus
Scopus7
TÃTULO: Descent for internal multicategory functors Full Text
AUTORES: Prezado, Rui; Nunes, Fernando Lucatelli;
PUBLICAÇÃO: 2023, FONTE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 31, NÚMERO: 1
AUTORES: Prezado, Rui; Nunes, Fernando Lucatelli;
PUBLICAÇÃO: 2023, FONTE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 31, NÚMERO: 1
INDEXADO EM: Scopus WOS
Scopus WOS8
TÃTULO: Semantic Factorization and Descent Full Text
AUTORES: Nunes, Fernando Lucatelli;
PUBLICAÇÃO: 2022, FONTE: APPLIED CATEGORICAL STRUCTURES
AUTORES: Nunes, Fernando Lucatelli;
PUBLICAÇÃO: 2022, FONTE: APPLIED CATEGORICAL STRUCTURES
INDEXADO EM: Scopus WOS
Scopus WOS9
TÃTULO: Pseudoalgebras and Non-canonical Isomorphisms Full Text
AUTORES: Fernando Lucatelli Nunes;
PUBLICAÇÃO: 2019, FONTE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 27, NÚMERO: 1
AUTORES: Fernando Lucatelli Nunes;
PUBLICAÇÃO: 2019, FONTE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 27, NÚMERO: 1
INDEXADO EM: Scopus WOS
Scopus WOS