Gilles Barthe


AuthID: R-00H-7MM

Publicações a aguardar confirmação

181
TÍTULO: Constructor Subtyping
AUTORES: Gilles Barthe; Maria João Frade ;
PUBLICAÇÃO: 1999, FONTE: Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings, VOLUME: 1576
INDEXADO EM: DBLP
NO MEU: DBLP
182
TÍTULO: Partial Evaluation and Non-interference for Object Calculi
AUTORES: Gilles Barthe; Bernard P Serpette;
PUBLICAÇÃO: 1999, FONTE: Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings, VOLUME: 1722
INDEXADO EM: DBLP
NO MEU: DBLP
183
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
INDEXADO EM: DBLP
NO MEU: DBLP
184
TÍTULO: Order-Sorted Inductive Types
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1999, FONTE: Inf. Comput., VOLUME: 149, NÚMERO: 1
INDEXADO EM: DBLP
NO MEU: DBLP
185
TÍTULO: Type-checking injective pure type systems
AUTORES: Gilles Barthe;
PUBLICAÇÃO: 1999, FONTE: J. Funct. Program., VOLUME: 9, NÚMERO: 6
INDEXADO EM: DBLP
NO MEU: DBLP
186
TÍTULO: CPS Translations and Applications: The Cube and Beyond
AUTORES: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLICAÇÃO: 1999, FONTE: High. Order Symb. Comput., VOLUME: 12, NÚMERO: 2
INDEXADO EM: DBLP
NO MEU: DBLP
187
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
INDEXADO EM: DBLP
NO MEU: DBLP
188
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
INDEXADO EM: DBLP
NO MEU: DBLP
189
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
INDEXADO EM: DBLP
NO MEU: DBLP
190
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
INDEXADO EM: DBLP
NO MEU: DBLP
Página 19 de 21. Total de resultados: 203.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service