Gilles Barthe


AuthID: R-00H-7MM

Publicações a aguardar confirmação

211
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
INDEXADO EM: DBLP
NO MEU: DBLP
212
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
INDEXADO EM: DBLP
NO MEU: DBLP
213
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
INDEXADO EM: DBLP
NO MEU: DBLP
214
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
INDEXADO EM: DBLP
NO MEU: DBLP
Página 22 de 22. Total de resultados: 214.

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

Links Úteis

Ajuda

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