Gilles Barthe
AuthID: R-00H-7MM
161
TÃTULO: Expanding the Cube
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1999, FONTE: Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings, VOLUME: 1578
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1999, FONTE: Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings, VOLUME: 1578
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP162
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
DBLP163
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
DBLP164
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
DBLP165
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
DBLP166
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
DBLP167
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
DBLP168
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
DBLP169
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
DBLP170
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
DBLP