Gilles Barthe


AuthID: R-00H-7MM

Publications Requiring Validation

161
TITLE: Congruence Types
AUTHORS: Gilles Barthe; Herman Geuvers;
PUBLISHED: 1995, SOURCE: CSL
INDEXED IN: DBLP
IN MY: DBLP
162
TITLE: Modular Properties of Algebraic Type Systems
AUTHORS: Gilles Barthe; Herman Geuvers;
PUBLISHED: 1995, SOURCE: HOA
INDEXED IN: DBLP
IN MY: DBLP
163
TITLE: A Two-Level Approach Towards Lean Proof-Checking
AUTHORS: Gilles Barthe; Mark Ruys; Henk Barendregt;
PUBLISHED: 1995, SOURCE: TYPES
INDEXED IN: DBLP
IN MY: DBLP
Page 17 of 17. Total results: 163.

footer slogan

Useful Links

Get Help

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