Gilles Barthe
AuthID: R-00H-7MM
181
TÃTULO: Existence and Uniqueness of Normal Forms in Pure Type Systems with betaeta-Conversion
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1998, FONTE: Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings, VOLUME: 1584
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1998, FONTE: Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings, VOLUME: 1584
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP182
TÃTULO: The Relevance of Proof-Irrelevance
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1998, FONTE: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings, VOLUME: 1443
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1998, FONTE: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings, VOLUME: 1443
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP183
TÃTULO: The Semi-Full Closure of Pure Type Systems
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1998, FONTE: Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings, VOLUME: 1450
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1998, FONTE: Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings, VOLUME: 1450
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP184
TÃTULO: Explicit Substitutions for the Lambda-Calculus
AUTORES: Gilles Barthe; Fairouz Kamareddine; Alejandro Ríos;
PUBLICAÇÃO: 1997, FONTE: Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, U.K., Spetember 3-5, 1997, Proceedings, VOLUME: 1298
AUTORES: Gilles Barthe; Fairouz Kamareddine; Alejandro Ríos;
PUBLICAÇÃO: 1997, FONTE: Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, U.K., Spetember 3-5, 1997, Proceedings, VOLUME: 1298
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP185
TÃTULO: Termination of Algebraic Type Systems: The Syntactic Approach
AUTORES: Gilles Barthe; Femke van Raamsdonk;
PUBLICAÇÃO: 1997, FONTE: Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, U.K., Spetember 3-5, 1997, Proceedings, VOLUME: 1298
AUTORES: Gilles Barthe; Femke van Raamsdonk;
PUBLICAÇÃO: 1997, FONTE: Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, U.K., Spetember 3-5, 1997, Proceedings, VOLUME: 1298
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP186
TÃTULO: Domain-Free Pure Type Systems
AUTORES: Gilles Barthe; Morten Heine Sørensen;
PUBLICAÇÃO: 1997, FONTE: Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings, VOLUME: 1234
AUTORES: Gilles Barthe; Morten Heine Sørensen;
PUBLICAÇÃO: 1997, FONTE: Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings, VOLUME: 1234
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP187
TÃTULO: Reflections on Reflections
AUTORES: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLICAÇÃO: 1997, FONTE: Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings, VOLUME: 1292
AUTORES: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLICAÇÃO: 1997, FONTE: Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings, VOLUME: 1292
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP188
TÃTULO: A notion of classical pure type system
AUTORES: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLICAÇÃO: 1997, FONTE: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, VOLUME: 6
AUTORES: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLICAÇÃO: 1997, FONTE: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, VOLUME: 6
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP189
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
DBLP190
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
DBLP