Fernando Lucatelli Nunes


AuthID: R-004-SDH

Publicações a aguardar confirmação

1
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
INDEXADO EM: Scopus WOS
2
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
INDEXADO EM: WOS
3
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
INDEXADO EM: WOS
4
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
INDEXADO EM: Scopus WOS
5
TÍTULO: Semantic Factorization and Descent  Full Text
AUTORES: Nunes, Fernando Lucatelli;
PUBLICAÇÃO: 2022, FONTE: APPLIED CATEGORICAL STRUCTURES
INDEXADO EM: Scopus WOS
6
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
INDEXADO EM: Scopus WOS

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service