Simulation in the call-by-need lambda-calculus with letrec

Manfred Schmidt-Schauss, David Sabel, Elena Machkasova

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

    10 Scopus citations

    Fingerprint

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