The Hahn-Banach Theorem in Type Theory

J.G. Cederquist, T. Coquand, S. Negri

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Original languageUndefined
    Title of host publicationTwenty-five years of Constructive Type Theory
    EditorsG. Sambin, J. Smith
    Place of PublicationOxford, UK
    PublisherOxford University Press
    Number of pages16
    ISBN (Print)0-19-850127-7
    Publication statusPublished - Oct 1998


    • EWI-1063

    Cite this