Gilles Barthe
AuthID: R-00H-7MM
161
TÃTULO: Order-Sorted Inductive Types
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1999, FONTE: Inf. Comput., VOLUME: 149, NÚMERO: 1
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1999, FONTE: Inf. Comput., VOLUME: 149, NÚMERO: 1
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP162
TÃTULO: Type-checking injective pure type systems
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1999, FONTE: J. Funct. Program., VOLUME: 9, NÚMERO: 6
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1999, FONTE: J. Funct. Program., VOLUME: 9, NÚMERO: 6
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP163
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
DBLP164
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
DBLP165
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
DBLP166
TÃTULO: Explicit Substitutions for the Lambda-Calculus
AUTORES: Gilles Barthe; Fairouz Kamareddine; Alejandro Ríos;
PUBLICAÇÃO: 1997, FONTE: ALP/HOA
AUTORES: Gilles Barthe; Fairouz Kamareddine; Alejandro Ríos;
PUBLICAÇÃO: 1997, FONTE: ALP/HOA
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP167
TÃTULO: Termination of Algebraic Type Systems: The Syntactic Approach
AUTORES: Gilles Barthe; Femke van Raamsdonk;
PUBLICAÇÃO: 1997, FONTE: ALP/HOA
AUTORES: Gilles Barthe; Femke van Raamsdonk;
PUBLICAÇÃO: 1997, FONTE: ALP/HOA
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP168
TÃTULO: Domain-Free Pure Type Systems
AUTORES: Gilles Barthe; Morten Heine Sørensen;
PUBLICAÇÃO: 1997, FONTE: LFCS
AUTORES: Gilles Barthe; Morten Heine Sørensen;
PUBLICAÇÃO: 1997, FONTE: LFCS
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP169
TÃTULO: Reflections on Reflections
AUTORES: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLICAÇÃO: 1997, FONTE: PLILP
AUTORES: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLICAÇÃO: 1997, FONTE: PLILP
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP170
TÃTULO: A notion of classical pure type system
AUTORES: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLICAÇÃO: 1997, FONTE: MFPS
AUTORES: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLICAÇÃO: 1997, FONTE: MFPS
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP