Unfolding Semantics of the Untyped λ-Calculus with lectrec-Calculus with letrec

J. Rochel

    Research output: ThesisDoctoral thesis 1 (Research UU / Graduation UU)

    Fingerprint

    Dive into the research topics of 'Unfolding Semantics of the Untyped λ-Calculus with lectrec-Calculus with letrec'. Together they form a unique fingerprint.

    Keyphrases

    Computer Science