Gilles Barthe


AuthID: R-00H-7MM

Publicações a aguardar confirmação

161
TÍTULO: Towards Lean Proof Checking
AUTORES: Gilles Barthe; Hugo Elbers;
PUBLICAÇÃO: 1996, FONTE: DISCO
INDEXADO EM: DBLP
NO MEU: DBLP
162
TÍTULO: Congruence Types
AUTORES: Gilles Barthe; Herman Geuvers;
PUBLICAÇÃO: 1995, FONTE: CSL
INDEXADO EM: DBLP
NO MEU: DBLP
163
TÍTULO: Modular Properties of Algebraic Type Systems
AUTORES: Gilles Barthe; Herman Geuvers;
PUBLICAÇÃO: 1995, FONTE: HOA
INDEXADO EM: DBLP
NO MEU: DBLP
164
TÍTULO: A Two-Level Approach Towards Lean Proof-Checking
AUTORES: Gilles Barthe; Mark Ruys; Henk Barendregt;
PUBLICAÇÃO: 1995, FONTE: TYPES
INDEXADO EM: DBLP
NO MEU: DBLP
Página 17 de 17. Total de resultados: 164.

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

Links Úteis

Ajuda

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