Publication
-
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.January 1997 -
Efficient and provable security amplifications In Proceedings
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.January 1997