EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Sambin, G.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

1998

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

This list was generated on Mon Mar 20 05:39:02 CET 2017.