Gilles Barthe
AuthID: R-00H-7MM
151
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
DBLP152
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
DBLP153
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
DBLP154
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
DBLP155
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
DBLP156
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
DBLP157
TITLE: Partial evaluation and non-interference for object calculi
AUTHORS: Barthe, G; Serpette, BP;
PUBLISHED: 1999, SOURCE: 4th Fuji International Symposium on Functional and Logic Programming (FLOPS 99) in FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 1722
AUTHORS: Barthe, G; Serpette, BP;
PUBLISHED: 1999, SOURCE: 4th Fuji International Symposium on Functional and Logic Programming (FLOPS 99) in FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 1722
INDEXED IN: WOS DBLP
WOS DBLP IN MY: DBLP
DBLP
159
TITLE: CPS Translations and Applications: The Cube and Beyond
AUTHORS: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLISHED: 1999, SOURCE: High. Order Symb. Comput., VOLUME: 12, ISSUE: 2
AUTHORS: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLISHED: 1999, SOURCE: High. Order Symb. Comput., VOLUME: 12, ISSUE: 2
160
TITLE: Expanding the Cube
AUTHORS: Gilles Barthe;
PUBLISHED: 1999, SOURCE: 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
AUTHORS: Gilles Barthe;
PUBLISHED: 1999, SOURCE: 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
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP