Gilles Barthe
AuthID: R-00H-7MM
201
TITLE: Extensions of Pure Type Systems
AUTHORS: Gilles Barthe;
PUBLISHED: 1995, SOURCE: 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
AUTHORS: Gilles Barthe;
PUBLISHED: 1995, SOURCE: 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
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP202
TITLE: Implicit Coercions in Type Systems
AUTHORS: Gilles Barthe;
PUBLISHED: 1995, SOURCE: Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers, VOLUME: 1158
AUTHORS: Gilles Barthe;
PUBLISHED: 1995, SOURCE: Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers, VOLUME: 1158
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP203
TITLE: A Two-Level Approach Towards Lean Proof-Checking
AUTHORS: Gilles Barthe; Mark Ruys; Henk Barendregt;
PUBLISHED: 1995, SOURCE: Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers, VOLUME: 1158
AUTHORS: Gilles Barthe; Mark Ruys; Henk Barendregt;
PUBLISHED: 1995, SOURCE: Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers, VOLUME: 1158
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP