CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1982 -
Improved absolute stability of predictor-corrector methods for retarded differential equations Tech Report
January 1982 -
January 1982 -
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 -
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