EEMCS

Cederquist, J.G. and Coquand, T. (2000) Entailment relations and distributive lattices. In: Logic Colloquium 1998, 09-15 Aug 1998, Prague, Czech Republic. pp. 110-123. Lecture Notes in Logic 13. Association for Symbolic Logic in cooperation with A K Peters. ISBN 1-56881-113-6

Cederquist, J.G. and Coquand, T. and Negri, S. (1998) The Hahn-Banach Theorem in Type Theory. In: Twenty-five years of Constructive Type Theory. Oxford Univ. Press, Oxford, UK, pp. 57-72. ISBN 0-19-850127-7