Gilles Barthe
AuthID: R-00H-7MM
181
TITLE: Type-checking injective pure type systems
AUTHORS: Gilles Barthe;
PUBLISHED: 1999, SOURCE: J. Funct. Program., VOLUME: 9, ISSUE: 6
AUTHORS: Gilles Barthe;
PUBLISHED: 1999, SOURCE: J. Funct. Program., VOLUME: 9, ISSUE: 6
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP182
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
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP183
TITLE: Existence and Uniqueness of Normal Forms in Pure Type Systems with betaeta-Conversion
AUTHORS: Gilles Barthe;
PUBLISHED: 1998, SOURCE: Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings, VOLUME: 1584
AUTHORS: Gilles Barthe;
PUBLISHED: 1998, SOURCE: Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings, VOLUME: 1584
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP184
TITLE: The Relevance of Proof-Irrelevance
AUTHORS: Gilles Barthe;
PUBLISHED: 1998, SOURCE: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings, VOLUME: 1443
AUTHORS: Gilles Barthe;
PUBLISHED: 1998, SOURCE: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings, VOLUME: 1443
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP185
TITLE: The Semi-Full Closure of Pure Type Systems
AUTHORS: Gilles Barthe;
PUBLISHED: 1998, SOURCE: Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings, VOLUME: 1450
AUTHORS: Gilles Barthe;
PUBLISHED: 1998, SOURCE: Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings, VOLUME: 1450
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP186
TITLE: Explicit Substitutions for the Lambda-Calculus
AUTHORS: Gilles Barthe; Fairouz Kamareddine; Alejandro Ríos;
PUBLISHED: 1997, SOURCE: Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, U.K., Spetember 3-5, 1997, Proceedings, VOLUME: 1298
AUTHORS: Gilles Barthe; Fairouz Kamareddine; Alejandro Ríos;
PUBLISHED: 1997, SOURCE: Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, U.K., Spetember 3-5, 1997, Proceedings, VOLUME: 1298
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP187
TITLE: Termination of Algebraic Type Systems: The Syntactic Approach
AUTHORS: Gilles Barthe; Femke van Raamsdonk;
PUBLISHED: 1997, SOURCE: Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, U.K., Spetember 3-5, 1997, Proceedings, VOLUME: 1298
AUTHORS: Gilles Barthe; Femke van Raamsdonk;
PUBLISHED: 1997, SOURCE: Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, U.K., Spetember 3-5, 1997, Proceedings, VOLUME: 1298
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP188
TITLE: Domain-Free Pure Type Systems
AUTHORS: Gilles Barthe; Morten Heine Sørensen;
PUBLISHED: 1997, SOURCE: Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings, VOLUME: 1234
AUTHORS: Gilles Barthe; Morten Heine Sørensen;
PUBLISHED: 1997, SOURCE: Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings, VOLUME: 1234
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP189
TITLE: Reflections on Reflections
AUTHORS: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLISHED: 1997, SOURCE: Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings, VOLUME: 1292
AUTHORS: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLISHED: 1997, SOURCE: Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings, VOLUME: 1292
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP190
TITLE: A notion of classical pure type system
AUTHORS: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLISHED: 1997, SOURCE: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, VOLUME: 6
AUTHORS: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLISHED: 1997, SOURCE: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, VOLUME: 6
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP