Eintrag weiter verarbeiten
Buchumschlag von Stackability in the simply-typed call-by-value lambda calculus
Verfügbar über Open Access

Stackability in the simply-typed call-by-value lambda calculus

Gespeichert in:

Bibliographische Detailangaben
Zeitschriftentitel: Science of Computer Programming
Personen und Körperschaften: Banerjee, Anindya, Schmidt, David A.
In: Science of Computer Programming, 31, 1998, 1, S. 47-73
Medientyp: E-Article
Sprache: Englisch
veröffentlicht:
Elsevier BV
Schlagwörter: