Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[2]
Hilfe
Suche: Author="Sleep, M.R."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Infinitary lambda calulus
J.R. Kennaway
,
J.W. Klop
,
M.R. Sleep
,
F.J. de Vries
Theoretical Computer Science
175
(1), 1997, pp. 93-125
LEAN: An intermediate language based on graph rewriting
H.P. Barendregt
,
M.C.J.D. van Eekelen
,
M.J. Plasmeijer
,
J.R.W. Glauert
,
J.R. Kennaway
,
M.R. Sleep
Parallel Computing
9
(2), 1988/89, pp. 163-177
Needed reduction and spine strategies for the lambda calculus
H.P. Barendregt
,
J.R. Kennaway
,
J.W. Klop
,
M.R. Sleep
Information and Computation
75
(3), 1987, pp. 191-231
Variable abstraction in
O(n\log n)
space
J.R. Kennaway
,
M.R. Sleep
Information Processing Letters
24
(5), 1987, March, pp. 343-349