Joint papers with Mariangiola Dezani-Ciancaglini.
- 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, M. Dezani-Ciancaglini, U. de'Liguoro, Y. Motohama.
The Minimal Relevant Logic and the Call-by-Value Lambda Calculus.
[Abstract in plain text and
paper in gzip-ed postscript format.]