CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Lambda calculus with explicit recursion Article
Information and Computation, 139(2), 154-233.January 1997 -
A simple proof of the ratio ergodic theorem Article
Osaka Journal of Mathematics, 34(3), 653-657.T. Kamae and M.S. Keane
January 1997 -
Efficient and provable security amplifications In Proceedings
R.J.F. Cramer (Ronald), I.B. Damgård (Ivan) and T.P. Pedersen (Torben Pryds)
January 1997 -
Average-case analysis via incompressibility In Proceedings
January 1997 -
On the subject reduction property for algebraic type systems In Proceedings
January 1997 -
Termination for a class of algorithms for constructing algebras given by generators and relations In Proceedings
January 1997 -
The miraculous universal distribution Article
The Mathematical Intelligencer, 19(4), 7-15.January 1997 -
A new world record for the special number field sieve factoring method Article
CWI Quarterly, 10(2), 105-107.P.L. Montgomery, S.H. Cavallar (Stefania) and H.J.J. te Riele (Herman)
January 1997