Joint papers with Franco Barbanera
- S. van Bakel, F. Barbanera, and M. Fernández.
Rewrite Systems with Abstraction and beta-rule: Types, Approximants and
Normalization.
In Hanne Riis Nielson, editor, Programming Languages and Systems - ESOP'96.
Proceedings of 6th European Symposium on Programming, Linkoping, Sweden.
Volume 1058 of Lecture Notes in Computer Science, pages 387-403.
Springer-Verlag, 1996.
[Abstract in plain text and
paper in gzip-ed postscript format.]
- S. van Bakel, and F. Barbanera.
Typing infinite terms.
In preparation.
- S. van Bakel, F. Barbanera, and M. Fernández.
Polymorphic Intersection Type Assignment for Rewrite Systems with Abstraction and beta-rule. (Extended Abstract). In Thierry Coquand, Peter Dybjer, Bengt Nordstrom, Jan Smith, editors, Types for Proofs and Programs. International Workshop, TYPES'99. Lokeberg, Sweden, Sected Papers. Volume 1956 of Lecture Notes in Computer Science, pages 41-60, Springer-Verlag, 2000.
[Abstract in plain text and
paper in gzip-ed postscript format.]
- S. van Bakel, F. Barbanera, M. Dezani-Ciancaglini, F.J. de Vries.
Intersection Types for Lambda-Trees.
To appear in Theoretical Computer Science.
[Abstract in plain text and
paper in gzip-ed postscript format.]
-
S. van Bakel, F. Barbanera, and M. Fernández. Polymorphic Intersection Type Assignment for Rewrite Systems with Abstraction and β-rule. Technical Report 2001/01, Department of Computer Science, Imperial College. Submitted.