Weiter zum Inhalt
Start Suche
Toggle navigation
Merkliste (
0
)
(Voll)
Sprache
English
Deutsch
Mein Konto
Abmeldung
Anmelden
Suchen
Erweiterte Suche
Suchverlauf
Suche im alten Katalog
Die von der HCU lizenzierten E-Medien sind aus lizenzrechtlichen Gründen nur im HCU-Netz frei nutzbar (
Tipps zum Zugriff für HCU-Angehörige
)
Bücher & mehr
Aufsätze
1
Preliminary arrangements of arguments in lazy evaluation
von: Husheng, Liao
1991, in:
New generation computing
Wird geladen...
2
Adapting combinator and SECD machines to display snapshots of functional computations
von: Toyn, Ian
1986, in:
New generation computing
Wird geladen...
3
State-transition machines for lambda-calculus expressions
von: Schmidt, David A.
2007, in:
Higher-order and symbolic computation
Wird geladen...
4
Peter J. Landin (1930–2009)
von: Danvy, Olivier
2009, in:
Higher-order and symbolic computation
Wird geladen...
5
The Peter Landin prize
von: Hammond, Kevin
2009, in:
Higher-order and symbolic computation
Wird geladen...
6
State-transition machines for lambda-calculus expressions
von: Schmidt, David A.
2007, in:
Higher-order and symbolic computation
Wird geladen...
7
Peter J. Landin (1930–2009)
von: Danvy, Olivier
2009, in:
Higher-order and symbolic computation
Wird geladen...
8
The Peter Landin prize
von: Hammond, Kevin
2009, in:
Higher-order and symbolic computation
Wird geladen...
Nicht das Richtige dabei?
Schreiben Sie uns!
Sortieren & Filtern
Sortieren nach
Relevanz
Neueste zuerst
Älteste zuerst
Autor*in
Titel
Einschränken auf E-Medien
Bibliothek
Standort (Printmedien)
Online
Nein
5
Ja
3
Erscheinungsjahr
Von:
Bis:
Sprache
English
8
Nicht das Richtige dabei?
Schreiben Sie uns!
Wird geladen...
