Gilles Barthe
AuthID: R-00H-7MM
201
TÃTULO: On the Subject Reduction Property for Algebraic Type Systems
AUTORES: Gilles Barthe; Paul André Melliès;
PUBLICAÇÃO: 1996, FONTE: Computer Science Logic, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers, VOLUME: 1258
AUTORES: Gilles Barthe; Paul André Melliès;
PUBLICAÇÃO: 1996, FONTE: Computer Science Logic, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers, VOLUME: 1258
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP202
TÃTULO: Towards Lean Proof Checking
AUTORES: Gilles Barthe; Hugo Elbers;
PUBLICAÇÃO: 1996, FONTE: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings, VOLUME: 1128
AUTORES: Gilles Barthe; Hugo Elbers;
PUBLICAÇÃO: 1996, FONTE: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings, VOLUME: 1128
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP203
TÃTULO: Congruence Types
AUTORES: Gilles Barthe; Herman Geuvers;
PUBLICAÇÃO: 1995, FONTE: Computer Science Logic, 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers, VOLUME: 1092
AUTORES: Gilles Barthe; Herman Geuvers;
PUBLICAÇÃO: 1995, FONTE: Computer Science Logic, 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers, VOLUME: 1092
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP204
TÃTULO: A Simple Abstract Semantics for Equational Theories
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1995, FONTE: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, VOLUME: 965
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1995, FONTE: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, VOLUME: 965
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP205
TÃTULO: Modular Properties of Algebraic Type Systems
AUTORES: Gilles Barthe; Herman Geuvers;
PUBLICAÇÃO: 1995, FONTE: Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers, VOLUME: 1074
AUTORES: Gilles Barthe; Herman Geuvers;
PUBLICAÇÃO: 1995, FONTE: Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers, VOLUME: 1074
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP206
TÃTULO: Extensions of Pure Type Systems
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1995, FONTE: 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
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1995, FONTE: 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
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP207
TÃTULO: Implicit Coercions in Type Systems
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1995, FONTE: Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers, VOLUME: 1158
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1995, FONTE: Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers, VOLUME: 1158
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP208
TÃTULO: A Two-Level Approach Towards Lean Proof-Checking
AUTORES: Gilles Barthe; Mark Ruys; Henk Barendregt;
PUBLICAÇÃO: 1995, FONTE: Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers, VOLUME: 1158
AUTORES: Gilles Barthe; Mark Ruys; Henk Barendregt;
PUBLICAÇÃO: 1995, FONTE: Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers, VOLUME: 1158
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP