A finite simulation method in a non-deterministic call-by-need lambda-calculus with letrec, constructors, and case

Manfred Schmidt-Schauss, Elena Machkasova

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Scopus citations

    Fingerprint Dive into the research topics of 'A finite simulation method in a non-deterministic call-by-need lambda-calculus with letrec, constructors, and case'. Together they form a unique fingerprint.

    Mathematics

    Engineering & Materials Science