Gilles Barthe


AuthID: R-00H-7MM

Publications Requiring Validation

161
TITLE: Explicit Substitutions for the Lambda-Calculus
AUTHORS: Gilles Barthe; Fairouz Kamareddine; Alejandro Ríos;
PUBLISHED: 1997, SOURCE: ALP/HOA
INDEXED IN: DBLP
IN MY: DBLP
162
TITLE: Termination of Algebraic Type Systems: The Syntactic Approach
AUTHORS: Gilles Barthe; Femke van Raamsdonk;
PUBLISHED: 1997, SOURCE: ALP/HOA
INDEXED IN: DBLP
IN MY: DBLP
163
TITLE: Domain-Free Pure Type Systems
AUTHORS: Gilles Barthe; Morten Heine Sørensen;
PUBLISHED: 1997, SOURCE: LFCS
INDEXED IN: DBLP
IN MY: DBLP
164
TITLE: Reflections on Reflections
AUTHORS: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLISHED: 1997, SOURCE: PLILP
INDEXED IN: DBLP
IN MY: DBLP
165
TITLE: A notion of classical pure type system
AUTHORS: Gilles Barthe; John Hatcliff; Morten Heine Sørensen;
PUBLISHED: 1997, SOURCE: MFPS
INDEXED IN: DBLP
IN MY: DBLP
166
TITLE: Monadic Type Systems: Pure Type Systems for Impure Settings
AUTHORS: Gilles Barthe; John Hatcliff; Peter Thiemann;
PUBLISHED: 1997, SOURCE: HOOTS
INDEXED IN: DBLP
IN MY: DBLP
167
TITLE: On the Subject Reduction Property for Algebraic Type Systems
AUTHORS: Gilles Barthe; Paul André Melliès;
PUBLISHED: 1996, SOURCE: CSL
INDEXED IN: DBLP
IN MY: DBLP
168
TITLE: Towards Lean Proof Checking
AUTHORS: Gilles Barthe; Hugo Elbers;
PUBLISHED: 1996, SOURCE: DISCO
INDEXED IN: DBLP
IN MY: DBLP
169
TITLE: Congruence Types
AUTHORS: Gilles Barthe; Herman Geuvers;
PUBLISHED: 1995, SOURCE: CSL
INDEXED IN: DBLP
IN MY: DBLP
170
TITLE: A Simple Abstract Semantics for Equational Theories
AUTHORS: Gilles Barthe;
PUBLISHED: 1995, SOURCE: Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, VOLUME: 965
INDEXED IN: DBLP
IN MY: DBLP
Page 17 of 18. Total results: 174.

footer slogan

Useful Links

Get Help

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