Gilles Barthe


AuthID: R-00H-7MM

Publicações a aguardar confirmação

181
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
182
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
183
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
184
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
185
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
186
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
187
TÍTULO: Towards Lean Proof Checking
AUTORES: Gilles Barthe; Hugo Elbers;
PUBLICAÇÃO: 1996, FONTE: DISCO
INDEXADO EM: DBLP
NO MEU: DBLP
188
TÍTULO: Congruence Types
AUTORES: Gilles Barthe; Herman Geuvers;
PUBLICAÇÃO: 1995, FONTE: CSL
INDEXADO EM: DBLP
NO MEU: DBLP
189
TÍTULO: A Simple Abstract Semantics for Equational Theories
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1995, FONTE: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, VOLUME: 965
INDEXADO EM: DBLP
NO MEU: DBLP
190
TÍTULO: Modular Properties of Algebraic Type Systems
AUTORES: Gilles Barthe; Herman Geuvers;
PUBLICAÇÃO: 1995, FONTE: HOA
INDEXADO EM: DBLP
NO MEU: DBLP
Página 19 de 20. Total de resultados: 193.

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