Richiedi una copia del documento: MR3331593 Review of Schmidt-Schauss, Manfred; Sabel, David; Machkasova, Elena Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq. Log. Methods Comput. Sci. 11 (2015), no. 1, 1:7, 50 pp.

Captcha code
Annulla