CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Two different strong normalization proofs? - computability versus functionals of finite type - In Proceedings
January 1995
-
Strict functionals for termination proofs In Proceedings
January 1995
-
Are relativistic effects significant for the analysis of whistler-mode waves in the earth's magnetosphere? Book Chapter
January 1995 -
Parameters and parametrization in specification, using distributive categories Article
Fundamenta Informaticae, 24(3), 209-250.January 1995 -
Physics and the new computation In Proceedings
January 1995 -
Mathematical classification of complete chaos In Proceedings
January 1995 -
Solution of $3$D elliptic systems by semi-refinement Article
Analele Stiintifice ale Universitatii Ovidius Constanta, 3(1), 63-82.January 1995 -
A continued fraction titbit In Proceedings
January 1995