Gilles Barthe


AuthID: R-00H-7MM

Publicações a aguardar confirmação

151
TÍTULO: Constructor subtyping  Full Text
AUTORES: Barthe, G; Frade, MJ ;
PUBLICAÇÃO: 1999, FONTE: Joint European Conference on Theory and Practice of Software (ETAPS 99) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 1576
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: DBLP
152
TÍTULO: CPS Translations and Applications: The Cube and Beyond
AUTORES: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLICAÇÃO: 1999, FONTE: High. Order Symb. Comput., VOLUME: 12, NÚMERO: 2
INDEXADO EM: Scopus DBLP CrossRef: 19
NO MEU: DBLP
153
TÍTULO: Explicit Substitutions for the Lambda-Calculus
AUTORES: Gilles Barthe; Fairouz Kamareddine; Alejandro Ríos;
PUBLICAÇÃO: 1997, FONTE: ALP/HOA
INDEXADO EM: DBLP
NO MEU: DBLP
154
TÍTULO: Termination of Algebraic Type Systems: The Syntactic Approach
AUTORES: Gilles Barthe; Femke van Raamsdonk;
PUBLICAÇÃO: 1997, FONTE: ALP/HOA
INDEXADO EM: DBLP
NO MEU: DBLP
155
TÍTULO: Domain-Free Pure Type Systems
AUTORES: Gilles Barthe; Morten Heine Sørensen;
PUBLICAÇÃO: 1997, FONTE: LFCS
INDEXADO EM: DBLP
NO MEU: DBLP
156
TÍTULO: Reflections on Reflections
AUTORES: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLICAÇÃO: 1997, FONTE: PLILP
INDEXADO EM: DBLP
NO MEU: DBLP
157
TÍTULO: A notion of classical pure type system
AUTORES: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLICAÇÃO: 1997, FONTE: MFPS
INDEXADO EM: DBLP
NO MEU: DBLP
158
TÍTULO: Monadic Type Systems: Pure Type Systems for Impure Settings
AUTORES: Gilles Barthe; John Hatcliff; Peter Thiemann;
PUBLICAÇÃO: 1997, FONTE: HOOTS
INDEXADO EM: DBLP
NO MEU: DBLP
159
TÍTULO: On the Subject Reduction Property for Algebraic Type Systems
AUTORES: Gilles Barthe; Paul André Melliès;
PUBLICAÇÃO: 1996, FONTE: CSL
INDEXADO EM: DBLP
NO MEU: DBLP
160
TÍTULO: Towards Lean Proof Checking
AUTORES: Gilles Barthe; Hugo Elbers;
PUBLICAÇÃO: 1996, FONTE: DISCO
INDEXADO EM: DBLP
NO MEU: DBLP
Página 16 de 17. Total de resultados: 163.

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

Links Úteis

Ajuda

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