The lambda sigma calculus and strong normalization

Anders Schack-Nielsen, Carsten Schürmann

    Research output: Book / Anthology / Report › Report › Research

    Fingerprint

    Dive into the research topics of 'The lambda sigma calculus and strong normalization'. Together they form a unique fingerprint.

    Keyphrases

    Computer Science