Coming to terms with modal logic : on the interpretation of modalities in typed lambda-calculus

V.A.J. Borghuis

    Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

    572 Downloads (Pure)

    Fingerprint Dive into the research topics of 'Coming to terms with modal logic : on the interpretation of modalities in typed lambda-calculus'. Together they form a unique fingerprint.