Set theory with type restrictions

N.G. Bruijn, de

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    1 Citation (Scopus)
    56 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Set theory with type restrictions'. Together they form a unique fingerprint.

    Computer Science