Gilles Barthe
AuthID: R-00H-7MM
191
TÃTULO: Monadic Type Systems: Pure Type Systems for Impure Settings
AUTORES: Gilles Barthe; John Hatcliff; Peter Thiemann;
PUBLICAÇÃO: 1997, FONTE: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, VOLUME: 10
AUTORES: Gilles Barthe; John Hatcliff; Peter Thiemann;
PUBLICAÇÃO: 1997, FONTE: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, VOLUME: 10
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP192
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
DBLP193
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
DBLP194
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
DBLP195
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
DBLP196
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
DBLP197
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
DBLP198
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
DBLP199
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