A Pointfree Approach to Constructive Analysis in Type Theory

J.G. Cederquist

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    Original languageUndefined
    Award date1 Jan 1997
    Publication statusPublished - 1997

    Keywords

    • EWI-1100

    Cite this