• Simulation in the call-by-need...
  • *Description*

*Result*: Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq

*Title*:
Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq / Manfred Schmidt-Schauß ; David Sabel ; Elena Machkasova
*Author/editor-in-chief*:
Schmidt-Schauß, Manfred (Verfasser); Sabel, David (Verfasser) ; Machkasova, Elena (Verfasser)
*Edition*:
Version 22. August 2013
*Publication*:
Frankfurt am Main : Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, 2013
*Physical description scale*:
1 Online-Ressource
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Technical report Frank ; 49
*show_all_volumes*

*Additional information*

*Additional functions*