Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq
Schmidt-Schauß, Manfred ; Sabel, David ; Machkasova, Elena 2012 Univ.-Bibliothek Frankfurt am Main
- Link zu diesem Datensatz
-
https://d-nb.info/1053467931
- Titel
-
Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq
- Art des Inhalts
- Monographie
- Verfassangaben
- Manfred Schmidt-Schauß ; David Sabel ; Elena Machkasova
- Autor(en)
-
- Schmidt-Schauß, Manfred
- Sabel, David
- Machkasova, Elena
- Auflage
- Version 4. Juli 2012
- Verlag
- Frankfurt am Main : Univ.-Bibliothek Frankfurt am Main [2012]
- Jahr
- Erscheinungsdatum: 2012
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:hebis:30:3-270054
- Sprache
- eng
- Stand
- 15.01.2026 08:27
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
