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

Manfred Schmidt-Schauss, David Sabel, Elena Machkasova

Research output: Chapter in Book/Report/Conference proceedingConference 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.