Gilles Barthe
AuthID: R-00H-7MM
151
TÃTULO: Tipos principales y cierre semi-completo para sistemas de tipos puros extendidos (trabajo en desarrollo)
AUTORES: Gilles Barthe; Blas C Ruiz Jiménez;
PUBLICAÇÃO: 2001, FONTE: APPIA-GULP-PRODE
AUTORES: Gilles Barthe; Blas C Ruiz Jiménez;
PUBLICAÇÃO: 2001, FONTE: APPIA-GULP-PRODE
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP152
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
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
DBLP NO MEU: DBLP
DBLP153
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
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
DBLP NO MEU: DBLP
DBLP154
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
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
Scopus WOS DBLP NO MEU: DBLP
DBLP155
TÃTULO: An Introduction to Dependent Type Theory
AUTORES: Gilles Barthe; Thierry Coquand;
PUBLICAÇÃO: 2000, FONTE: APPSEM
AUTORES: Gilles Barthe; Thierry Coquand;
PUBLICAÇÃO: 2000, FONTE: APPSEM
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP156
TÃTULO: Static Reduction Analysis for Imperative Object Oriented Languages
AUTORES: Gilles Barthe; Bernard P Serpette;
PUBLICAÇÃO: 2000, FONTE: LPAR
AUTORES: Gilles Barthe; Bernard P Serpette;
PUBLICAÇÃO: 2000, FONTE: LPAR
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP157
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
AUTORES: Gilles Barthe; Morten Heine Sørensen;
PUBLICAÇÃO: 2000, FONTE: J. Funct. Program., VOLUME: 10, NÚMERO: 5
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP158
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
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
WOS DBLP NO MEU: DBLP
DBLP
160
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
AUTORES: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLICAÇÃO: 1999, FONTE: High. Order Symb. Comput., VOLUME: 12, NÚMERO: 2
