Gilles Barthe
AuthID: R-00H-7MM
201
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
DBLP202
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
DBLP203
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
DBLP204
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
DBLP205
TITLE: Modular Properties of Algebraic Type Systems
AUTHORS: Gilles Barthe; Herman Geuvers;
PUBLISHED: 1995, SOURCE: Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers, VOLUME: 1074
AUTHORS: Gilles Barthe; Herman Geuvers;
PUBLISHED: 1995, SOURCE: Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers, VOLUME: 1074
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP206
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
DBLP207
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
DBLP208
TITLE: A Two-Level Approach Towards Lean Proof-Checking
AUTHORS: Gilles Barthe; Mark Ruys; Henk Barendregt;
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; Mark Ruys; Henk Barendregt;
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