RESEARCH
Background:
Current Goals:
Most Recent Publications:
- Recursion versus Iteration at Higher-Orders
(.ps.gz)
(.dvi.gz)
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
(.ps.gz)
(.dvi.gz)
Joint with A. P. Stolboushkin, in Information and Computation,
Vol. 136, No. 1, July 1997.
- Beta-Reduction as Unification
(.ps.gz)
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
(.ps.gz)
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!)