Gilles Barthe
AuthID: R-00H-7MM
201
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
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
DBLP NO MEU: DBLP
DBLP202
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
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
DBLP NO MEU: DBLP
DBLP