F. Barbanera, M. Dezani-Ciancaglini, and F.-J. de Vries. Types for trees. In Proceedings of PROCOMET'98, pages 11-29. Chapman & Hall, London, 1998. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Discrimination by Parallel Observers: the Algorithm - Dezani-Ciancaglini, Tiuryn, .. (1998) (Correct)
Böhm's Theorem for Berarducci Trees - Dezani-Ciancaglini, Severi, de Vries (2000) (Correct)
Intersection Types, λ-models, and Böhm Trees - Dezani-Ciancaglini.. (1998) (Correct)
From Böhm's Theorem to Observational Equivalences: an .. - Dezani-Ciancaglini.. (2001) (Correct)
Intersection Types, λ-models, and Böhm Trees - Dezani-Ciancaglini.. (Correct)
Böhm's Theorem for Berarducci Trees - Dezani-Ciancaglini, Severi, de Vries (2000) (Correct)
Böhm's Theorem for Böhm Trees - Dezani-Ciancaglini, Intrigila, al. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC