Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq

Manfred Schmidt-Schauss, David Sabel, Elena Machkasova

    Research output: Contribution to journalArticlepeer-review

    3 Scopus citations

    Fingerprint Dive into the research topics of 'Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq'. Together they form a unique fingerprint.

    Mathematics

    Engineering & Materials Science