CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Analysis of smoothing operators in the solution of partial differential equations by explicit difference schemes Tech Report
P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and F.W. Wubs (Fred)
January 1986 -
January 1986 -
January 1986 -
January 1986 -
Semantics for OCCAM Tech Report
January 1986 -
January 1986 -
January 1986 -
Needed reduction and spine strategies for the lambda calculus Tech Report
H.P. Barendregt (Henk), J.R. Kennaway (Richard), J.W. Klop (Jan Willem) and M.R. Sleep (Ronan)
January 1986