Publication

Strong normalization and perpetual reductions in the lambda calculus Article

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

Edgeworth expansions for functions of uniform spacings In Proceedings

R.J.M.M. Does and R. Helmers (Roelof)

The completeness of the algebraic specification methods for computable data types Article

J.A. Bergstra (Jan) and J.V. Tucker (John)

Identification and informative sample size Book

H.H. Tigelaar

Computational methods in number theory, part 1 : [based on lectures, presented at the study week 'Number theory and computers', Amsterdam, 01-05.09.1980] Book

H.W. Lenstra (Hendrik) and R. Tijdeman

Computational methods in number theory, part 2 : [based on lectures, presented at the study week 'Number theory and computers', Amsterdam, 01-05.09.1980] Book

H.W. Lenstra (Hendrik) and R. Tijdeman

Linear multistep methods for Volterra integral equations of the second kind In Proceedings

P.J. van der Houwen (Piet) and H.J.J. te Riele (Herman)

Cursus Cryptografie : Mathematisch Centrum Amsterdam, 04-08.10.1982 Book