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)
Ausgabe:
Version 22. August 2013
Veröffent­licht:
Frankfurt am Main : Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, 2013
Umfang:
1 Online-Ressource
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Technical report Frank ; 49
alle Bände anzeigen

Zusatz-Informationen

Zusatz-Funktionen