Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Simulation in the call-by-need...
  • Bestand

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

Titel:
Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq / Manfred Schmidt-Schauß, David Sabel, Elena Machkasova
Beteiligt:
Schmidt-Schauß, Manfred (Verfasser); Sabel, David (Verfasser) ; Machkasova, Elena (Verfasser)
Veröffentlicht 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
alle Artikel anzeigen
Vertrieb:
Frankfurt am Main : Universitätsbibliothek Johann Christian Senckenberg
Format:
E-Artikel
Sprache:
Englisch
DOI:
10.2168/LMCS-11(1:7)2015

Zusatz-Informationen

Zusatz-Funktionen