Gilles Barthe
AuthID: R-00H-7MM
161
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
DBLP162
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
DBLP163
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
DBLP164
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
DBLP165
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
DBLP166
TITLE: Explicit Substitutions for the Lambda-Calculus
AUTHORS: Gilles Barthe; Fairouz Kamareddine; Alejandro Ríos;
PUBLISHED: 1997, SOURCE: ALP/HOA
AUTHORS: Gilles Barthe; Fairouz Kamareddine; Alejandro Ríos;
PUBLISHED: 1997, SOURCE: ALP/HOA
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP167
TITLE: Termination of Algebraic Type Systems: The Syntactic Approach
AUTHORS: Gilles Barthe; Femke van Raamsdonk;
PUBLISHED: 1997, SOURCE: ALP/HOA
AUTHORS: Gilles Barthe; Femke van Raamsdonk;
PUBLISHED: 1997, SOURCE: ALP/HOA
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP168
TITLE: Domain-Free Pure Type Systems
AUTHORS: Gilles Barthe; Morten Heine Sørensen;
PUBLISHED: 1997, SOURCE: LFCS
AUTHORS: Gilles Barthe; Morten Heine Sørensen;
PUBLISHED: 1997, SOURCE: LFCS
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP169
TITLE: Reflections on Reflections
AUTHORS: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLISHED: 1997, SOURCE: PLILP
AUTHORS: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLISHED: 1997, SOURCE: PLILP
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP170
TITLE: A notion of classical pure type system
AUTHORS: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLISHED: 1997, SOURCE: MFPS
AUTHORS: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLISHED: 1997, SOURCE: MFPS
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP