Gilles Barthe
AuthID: R-00H-7MM
171
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
DBLP172
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
DBLP173
TITLE: An Introduction to Dependent Type Theory
AUTHORS: Gilles Barthe; Thierry Coquand;
PUBLISHED: 2000, SOURCE: Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures, VOLUME: 2395
AUTHORS: Gilles Barthe; Thierry Coquand;
PUBLISHED: 2000, SOURCE: Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures, VOLUME: 2395
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP174
TITLE: Constructor Subtyping in the Calculus of Inductive Constructions
AUTHORS: Gilles Barthe; Femke van Raamsdonk;
PUBLISHED: 2000, SOURCE: Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, VOLUME: 1784
AUTHORS: Gilles Barthe; Femke van Raamsdonk;
PUBLISHED: 2000, SOURCE: Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, VOLUME: 1784
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP175
TITLE: Static Reduction Analysis for Imperative Object Oriented Languages
AUTHORS: Gilles Barthe; Bernard P Serpette;
PUBLISHED: 2000, SOURCE: Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings, VOLUME: 1955
AUTHORS: Gilles Barthe; Bernard P Serpette;
PUBLISHED: 2000, SOURCE: Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings, VOLUME: 1955
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP176
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
DBLP177
TITLE: Constructor Subtyping
AUTHORS: Gilles Barthe; Maria João Frade ;
PUBLISHED: 1999, SOURCE: Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings, VOLUME: 1576
AUTHORS: Gilles Barthe; Maria João Frade ;
PUBLISHED: 1999, SOURCE: Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings, VOLUME: 1576
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP178
TITLE: Partial Evaluation and Non-interference for Object Calculi
AUTHORS: Gilles Barthe; Bernard P Serpette;
PUBLISHED: 1999, SOURCE: Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings, VOLUME: 1722
AUTHORS: Gilles Barthe; Bernard P Serpette;
PUBLISHED: 1999, SOURCE: Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings, VOLUME: 1722
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP179
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
DBLP180
TITLE: Order-Sorted Inductive Types
AUTHORS: Gilles Barthe;
PUBLISHED: 1999, SOURCE: Inf. Comput., VOLUME: 149, ISSUE: 1
AUTHORS: Gilles Barthe;
PUBLISHED: 1999, SOURCE: Inf. Comput., VOLUME: 149, ISSUE: 1
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP