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

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Ausgabe
Version 22. August 2013
Sprache
Englisch

Erschienen in
Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 49

Klassifikation
Informatik

Ereignis
Veröffentlichung
(wo)
Frankfurt am Main
(wer)
Univ.-Bibliothek Frankfurt am Main
(wann)
2013
Urheber
Schmidt-Schauß, Manfred
Sabel, David
Machkasova, Elena

URN
urn:nbn:de:hebis:30:3-342348
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:45 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Schmidt-Schauß, Manfred
  • Sabel, David
  • Machkasova, Elena
  • Univ.-Bibliothek Frankfurt am Main

Entstanden

  • 2013

Ähnliche Objekte (12)