Gilles Barthe


AuthID: R-00H-7MM

Publicações a aguardar confirmação

151
TÍTULO: An induction principle for pure type systems
AUTORES: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLICAÇÃO: 2001, FONTE: Theor. Comput. Sci., VOLUME: 266, NÚMERO: 1-2
INDEXADO EM: DBLP
NO MEU: DBLP
152
TÍTULO: Weak normalization implies strong normalization in a class of non-dependent pure type systems
AUTORES: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLICAÇÃO: 2001, FONTE: Theor. Comput. Sci., VOLUME: 269, NÚMERO: 1-2
INDEXADO EM: DBLP
NO MEU: DBLP
153
TÍTULO: Constructor subtyping in the Calculus of Inductive Constructions
AUTORES: Barthe, G; van Raamsdonk, F;
PUBLICAÇÃO: 2000, FONTE: 3rd International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2000) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, VOLUME: 1784
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
154
TÍTULO: An Introduction to Dependent Type Theory
AUTORES: Gilles Barthe; Thierry Coquand;
PUBLICAÇÃO: 2000, FONTE: APPSEM
INDEXADO EM: DBLP
NO MEU: DBLP
155
TÍTULO: Static Reduction Analysis for Imperative Object Oriented Languages
AUTORES: Gilles Barthe; Bernard P Serpette;
PUBLICAÇÃO: 2000, FONTE: LPAR
INDEXADO EM: DBLP
NO MEU: DBLP
156
TÍTULO: Domain-free pure type systems
AUTORES: Gilles Barthe; Morten Heine Sørensen;
PUBLICAÇÃO: 2000, FONTE: J. Funct. Program., VOLUME: 10, NÚMERO: 5
INDEXADO EM: DBLP
NO MEU: DBLP
157
TÍTULO: Partial evaluation and non-interference for object calculi
AUTORES: Barthe, G; Serpette, BP;
PUBLICAÇÃO: 1999, FONTE: 4th Fuji International Symposium on Functional and Logic Programming (FLOPS 99) in FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 1722
INDEXADO EM: WOS DBLP
NO MEU: DBLP
158
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
159
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
160
TÍTULO: Expanding the Cube
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1999, FONTE: Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings, VOLUME: 1578
INDEXADO EM: DBLP
NO MEU: DBLP
Página 16 de 18. Total de resultados: 179.

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