Gilles Barthe
AuthID: R-00H-7MM
191
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
DBLP192
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
DBLP193
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
DBLP194
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
DBLP195
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
DBLP196
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
DBLP197
TITLE: Monadic Type Systems: Pure Type Systems for Impure Settings
AUTHORS: Gilles Barthe; John Hatcliff; Peter Thiemann;
PUBLISHED: 1997, SOURCE: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, VOLUME: 10
AUTHORS: Gilles Barthe; John Hatcliff; Peter Thiemann;
PUBLISHED: 1997, SOURCE: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, VOLUME: 10
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP198
TITLE: On the Subject Reduction Property for Algebraic Type Systems
AUTHORS: Gilles Barthe; Paul André Melliès;
PUBLISHED: 1996, SOURCE: Computer Science Logic, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers, VOLUME: 1258
AUTHORS: Gilles Barthe; Paul André Melliès;
PUBLISHED: 1996, SOURCE: Computer Science Logic, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers, VOLUME: 1258
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP199
TITLE: Towards Lean Proof Checking
AUTHORS: Gilles Barthe; Hugo Elbers;
PUBLISHED: 1996, SOURCE: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings, VOLUME: 1128
AUTHORS: Gilles Barthe; Hugo Elbers;
PUBLISHED: 1996, SOURCE: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings, VOLUME: 1128
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP200
TITLE: Congruence Types
AUTHORS: Gilles Barthe; Herman Geuvers;
PUBLISHED: 1995, SOURCE: Computer Science Logic, 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers, VOLUME: 1092
AUTHORS: Gilles Barthe; Herman Geuvers;
PUBLISHED: 1995, SOURCE: Computer Science Logic, 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers, VOLUME: 1092
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP