Barthe, Gilles (ed.) Programming languages and systems. 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. (English) Zbl 1213.68027 Lecture Notes in Computer Science 6602. Berlin: Springer (ISBN 978-3-642-19717-8/pbk). xiv, 501 p. (2011). MSC: 68-06 68Nxx 00B25 PDFBibTeX XMLCite \textit{G. Barthe} (ed.), Programming languages and systems. 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 -- April 3, 2011. Proceedings. Berlin: Springer (2011; Zbl 1213.68027) Full Text: DOI
Barthe, Gilles A computational view of implicit coercions in type theory. (English) Zbl 1084.68023 Math. Struct. Comput. Sci. 15, No. 5, 839-874 (2005). MSC: 68N30 68T15 03B70 PDFBibTeX XMLCite \textit{G. Barthe}, Math. Struct. Comput. Sci. 15, No. 5, 839--874 (2005; Zbl 1084.68023) Full Text: DOI
Barthe, Gilles Type-checking injective pure type systems. (English) Zbl 0949.03027 J. Funct. Program. 9, No. 6, 675-698 (1999). MSC: 03B70 68N18 03B40 PDFBibTeX XMLCite \textit{G. Barthe}, J. Funct. Program. 9, No. 6, 675--698 (1999; Zbl 0949.03027) Full Text: DOI
Barthe, Gilles Existence and uniqueness of normal forms in pure type systems with \(\beta\eta\)-conversion. (English) Zbl 0933.03008 Gottlob, Georg (ed.) et al., Computer science logic. 12th international workshop, CSL ’98, annual conference of the EACSL, Brno, Czech Republic, August 24–28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1584, 241-259 (1999). MSC: 03B40 68Q42 PDFBibTeX XMLCite \textit{G. Barthe}, Lect. Notes Comput. Sci. 1584, 241--259 (1999; Zbl 0933.03008)
Barthe, Gilles Expanding the cube. (English) Zbl 0932.03013 Thomas, Wolfgang (ed.), Foundations of software science and computation structures. 2nd international conference, FOSSACS ’99. Held as part of the joint European conferences on Theory and practice of software, ETAPS ’99, Amsterdam, the Netherlands, March 22–28, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1578, 90-103 (1999). MSC: 03B40 68Q42 PDFBibTeX XMLCite \textit{G. Barthe}, Lect. Notes Comput. Sci. 1578, 90--103 (1999; Zbl 0932.03013)
Barthe, Gilles Order-sorted inductive types. (English) Zbl 0928.68022 Inf. Comput. 149, No. 1, 42-76 (1999). MSC: 68N15 PDFBibTeX XMLCite \textit{G. Barthe}, Inf. Comput. 149, No. 1, 42--76 (1999; Zbl 0928.68022) Full Text: DOI Link
Barthe, Gilles The relevance of proof-irrelevance. A meta-theoretical study of generalised calculi of constructions. (English) Zbl 0914.03016 Larsen, Kim G. (ed.) et al., Automata, languages and programming. 25th international colloquium, ICALP ’98. Aalborg, Denmark, July 13–17, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1443, 755-768 (1998). MSC: 03B40 68N01 68N15 03B70 PDFBibTeX XMLCite \textit{G. Barthe}, Lect. Notes Comput. Sci. 1443, 755--768 (1998; Zbl 0914.03016)
Barthe, Gilles The semi-full closure of pure type systems. (English) Zbl 0912.03010 Brim, Luboš (ed.) et al., Mathematical foundations of computer science 1998. 23rd international symposium, MFCS ’98. Brno, Czech Republic, August 24–28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1450, 316-325 (1998). MSC: 03B40 03B70 PDFBibTeX XMLCite \textit{G. Barthe}, Lect. Notes Comput. Sci. 1450, 316--325 (1998; Zbl 0912.03010)
Barthe, Gilles Implicit coercions in type systems. (English) Zbl 1434.03081 Berardi, Stefano (ed.) et al., Types for proofs and programs. International workshop TYPES ’95, Torino, Italy, June 5–8, 1995. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1158, 1-15 (1996). MSC: 03B70 03B38 03B35 PDFBibTeX XMLCite \textit{G. Barthe}, Lect. Notes Comput. Sci. 1158, 1--15 (1996; Zbl 1434.03081) Full Text: DOI Link
Barthe, Gilles A simple abstract semantics for equational theories. (English) Zbl 1507.68201 Reichel, Horst (ed.), Fundamentals of computation theory. 10th international conference, FCT’95, Dresden, Germany, August 22–25, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 965, 126-135 (1995). MSC: 68Q65 03B70 03G30 PDFBibTeX XMLCite \textit{G. Barthe}, Lect. Notes Comput. Sci. 965, 126--135 (1995; Zbl 1507.68201) Full Text: DOI
Barthe, Gilles Extensions of pure type system. (English) Zbl 1063.03508 Dezani-Ciancaglini, Mariangiola (ed.) et al., Typed lambda calculi and applications. 2nd international conference, TLCA ’95, Edinburgh, GB, April 10-12, 1995. Proceedings. Berlin: Springer-Verlag (ISBN 3-540-59048-X). Lect. Notes Comput. Sci. 902, 16-31 (1995). MSC: 03B40 PDFBibTeX XMLCite \textit{G. Barthe}, Lect. Notes Comput. Sci. 902, 16--31 (1995; Zbl 1063.03508)