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
Link opens in a new tab
Scopus
citations