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

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Edition
Version 22. August 2013
Language
Englisch

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

Classification
Informatik

Event
Veröffentlichung
(where)
Frankfurt am Main
(who)
Univ.-Bibliothek Frankfurt am Main
(when)
2013
Creator
Schmidt-Schauß, Manfred
Sabel, David
Machkasova, Elena

URN
urn:nbn:de:hebis:30:3-342348
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
25.03.2025, 1:45 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

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

Time of origin

  • 2013

Other Objects (12)