Loic Peyrot


AuthID: R-00K-6WN

Publicações a aguardar confirmação

1
TÍTULO: A FAITHFUL AND QUANTITATIVE NOTION OF DISTANT REDUCTION FOR THE LAMBDA-CALCULUS WITH GENERALIZED APPLICATIONS
AUTORES: Santo, Jose Espirito; Kesner, Delia; Peyrot, Loic;
PUBLICAÇÃO: 2024, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 20, NÚMERO: 3
INDEXADO EM: Scopus WOS

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

Links Úteis

Ajuda

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