Gilles Barthe
AuthID: R-00H-7MM
161
TÃTULO: Efficient Reasoning about Executable Specifications in Coq
AUTORES: Gilles Barthe; Pierre Courtieu;
PUBLICAÇÃO: 2002, FONTE: TPHOLs
AUTORES: Gilles Barthe; Pierre Courtieu;
PUBLICAÇÃO: 2002, FONTE: TPHOLs
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP162
TÃTULO: Preface
AUTORES: Gilles Barthe; Peter Thiemann;
PUBLICAÇÃO: 2002, FONTE: TIP@MPC
AUTORES: Gilles Barthe; Peter Thiemann;
PUBLICAÇÃO: 2002, FONTE: TIP@MPC
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP163
TÃTULO: Type Isomorphisms and Proof Reuse in Dependent Type Theory
AUTORES: Gilles Barthe; Olivier Pons;
PUBLICAÇÃO: 2001, FONTE: 4th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 in FoSSaCS, VOLUME: 2030
AUTORES: Gilles Barthe; Olivier Pons;
PUBLICAÇÃO: 2001, FONTE: 4th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 in FoSSaCS, VOLUME: 2030
INDEXADO EM: 
Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP164
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
DBLP165
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
DBLP166
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
DBLP167
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
DBLP168
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
DBLP169
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
DBLP170
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
DBLP