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
Hilfe
Suche: Author="Aiello, L."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
An efficient interpreter for the lambda-calculus
L. Aiello
,
G. Prini
Journal of Computer and System Sciences
23
(3), 1981, December, pp. 383-424
Pascal in LCF: Semantics and examples of proof
L. Aiello
,
M. Aiello
,
R.W. Weybrauch
Theoretical Computer Science
5
(2), 1977, pp. 135-177
Formal definition of semantics of generalized control regimes
L. Aiello
,
M. Aiello
,
G. Attardi
,
P. Cavallari
,
G. Prini
Lecture Notes in Computer Science
45
, 1976, pp. 173-179