Publication
-
Processes and the denotational semantics of concurrency Article
Information and Control, 54(1-2), 70-120.January 1982 -
Strong normalization and perpetual reductions in the lambda calculus Article
Elektronische Informationsverarbeitung und Kybernetik, 18(7-8), 403-417.January 1982 -
The Berry-Esseen bound for $U$-statistics In Proceedings
January 1982 -
Edgeworth expansions for functions of uniform spacings In Proceedings
January 1982 -
The completeness of the algebraic specification methods for computable data types Article
Information and Control, 186-200.January 1982 -
January 1982
-
January 1982
-
January 1982