Gilles Barthe


AuthID: R-00H-7MM

Publications Requiring Validation

201
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
INDEXED IN: DBLP
IN MY: DBLP
202
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
INDEXED IN: DBLP
IN MY: DBLP
Page 21 of 21. Total results: 202.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service