Gilles Barthe
AuthID: R-00H-7MM
21
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
DBLP22
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
DBLP23
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
DBLP24
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
DBLP25
TITLE: A Simple Abstract Semantics for Equational Theories
AUTHORS: Gilles Barthe;
PUBLISHED: 1995, SOURCE: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, VOLUME: 965
AUTHORS: Gilles Barthe;
PUBLISHED: 1995, SOURCE: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, VOLUME: 965
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP26
TITLE: Extensions of Pure Type Systems
AUTHORS: Gilles Barthe;
PUBLISHED: 1995, SOURCE: Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, UK, April 10-12, 1995, Proceedings, VOLUME: 902
AUTHORS: Gilles Barthe;
PUBLISHED: 1995, SOURCE: Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, UK, April 10-12, 1995, Proceedings, VOLUME: 902
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP27
TITLE: Implicit Coercions in Type Systems
AUTHORS: Gilles Barthe;
PUBLISHED: 1995, SOURCE: Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers, VOLUME: 1158
AUTHORS: Gilles Barthe;
PUBLISHED: 1995, SOURCE: Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers, VOLUME: 1158
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP