Most Recent Publications:
- Recursion versus Iteration at Higher-Orders
A shorter version appears in the conference proceedings of
the Foundations of Software Technology and Theoretical
Computer Science, Indian Institute of Technology,
Kharagpur, India, Dec 18-20, 1997.
- An Infinite Pebble Game and Applications
Joint with A. P. Stolboushkin, in Information and Computation,
Vol. 136, No. 1, July 1997.
- Beta-Reduction as Unification
Logic, Algebra, and Computer Science, Banach Center Publications,
Volume 46, Polish Academy of Sciences, Warszawa 1999.
Preliminary version presented at the Rasiowa Memorial
Symposium, Warsaw, Poland, Dec 2-22, 1996.
- A Linearization of the Lambda-Calculus and Consequences
Preliminary version presented at International School
on Type Theory and Term Rewriting, University of Glasgow,
Sept 12-15, 1996. Final version to appear in Proceedings of
the International School.
Created: 1996.10.06 Last Modified: 1997.09.24 (under construction, still -- sorry!)