Gilles Barthe
AuthID: R-00H-7MM
161
TITLE: Efficient Reasoning about Executable Specifications in Coq
AUTHORS: Gilles Barthe; Pierre Courtieu;
PUBLISHED: 2002, SOURCE: TPHOLs
AUTHORS: Gilles Barthe; Pierre Courtieu;
PUBLISHED: 2002, SOURCE: TPHOLs
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP162
TITLE: Preface
AUTHORS: Gilles Barthe; Peter Thiemann;
PUBLISHED: 2002, SOURCE: TIP@MPC
AUTHORS: Gilles Barthe; Peter Thiemann;
PUBLISHED: 2002, SOURCE: TIP@MPC
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP163
TITLE: Type Isomorphisms and Proof Reuse in Dependent Type Theory
AUTHORS: Gilles Barthe; Olivier Pons;
PUBLISHED: 2001, SOURCE: 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
AUTHORS: Gilles Barthe; Olivier Pons;
PUBLISHED: 2001, SOURCE: 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
INDEXED IN: 
Scopus DBLP
Scopus DBLP IN MY: DBLP
DBLP164
TITLE: Tipos principales y cierre semi-completo para sistemas de tipos puros extendidos (trabajo en desarrollo)
AUTHORS: Gilles Barthe; Blas C Ruiz Jiménez;
PUBLISHED: 2001, SOURCE: APPIA-GULP-PRODE
AUTHORS: Gilles Barthe; Blas C Ruiz Jiménez;
PUBLISHED: 2001, SOURCE: APPIA-GULP-PRODE
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP165
TITLE: An induction principle for pure type systems
AUTHORS: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLISHED: 2001, SOURCE: Theor. Comput. Sci., VOLUME: 266, ISSUE: 1-2
AUTHORS: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLISHED: 2001, SOURCE: Theor. Comput. Sci., VOLUME: 266, ISSUE: 1-2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP166
TITLE: Weak normalization implies strong normalization in a class of non-dependent pure type systems
AUTHORS: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLISHED: 2001, SOURCE: Theor. Comput. Sci., VOLUME: 269, ISSUE: 1-2
AUTHORS: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLISHED: 2001, SOURCE: Theor. Comput. Sci., VOLUME: 269, ISSUE: 1-2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP167
TITLE: Constructor subtyping in the Calculus of Inductive Constructions
AUTHORS: Barthe, G; van Raamsdonk, F;
PUBLISHED: 2000, SOURCE: 3rd International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2000) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, VOLUME: 1784
AUTHORS: Barthe, G; van Raamsdonk, F;
PUBLISHED: 2000, SOURCE: 3rd International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2000) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, VOLUME: 1784
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP168
TITLE: An Introduction to Dependent Type Theory
AUTHORS: Gilles Barthe; Thierry Coquand;
PUBLISHED: 2000, SOURCE: APPSEM
AUTHORS: Gilles Barthe; Thierry Coquand;
PUBLISHED: 2000, SOURCE: APPSEM
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP169
TITLE: Static Reduction Analysis for Imperative Object Oriented Languages
AUTHORS: Gilles Barthe; Bernard P Serpette;
PUBLISHED: 2000, SOURCE: LPAR
AUTHORS: Gilles Barthe; Bernard P Serpette;
PUBLISHED: 2000, SOURCE: LPAR
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP170
TITLE: Domain-free pure type systems
AUTHORS: Gilles Barthe; Morten Heine Sørensen;
PUBLISHED: 2000, SOURCE: J. Funct. Program., VOLUME: 10, ISSUE: 5
AUTHORS: Gilles Barthe; Morten Heine Sørensen;
PUBLISHED: 2000, SOURCE: J. Funct. Program., VOLUME: 10, ISSUE: 5
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP