• 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)
*Published in*:
Logical methods in computer science. - Erlangen : Logical Methods in Computer Science e.V., 2004-. - Online-Ressource. - ISSN 1860-5974. - Band 11, Heft 1 (2015), Seite 1-50, Artikel-ID: 7
*show_all_articles*
*Distribution*:
Frankfurt am Main : Universitätsbibliothek Johann Christian Senckenberg
*Format*:
*eArticle*
*Language*:
*eng*
*DOI*:
10.2168/LMCS-11(1:7)2015

*Additional information*

*Additional functions*