Rank 2 Intersection Type Assignment in Term Rewriting Systems (1996)

by Steffen van Bakel
Citations:22 - 14 self

Document Versions

Rank 2 Intersection Type Assignment in Term Rewriting Systems –Steffen Van Bakel — 1996 — Fundamenta Informaticae
Rank 2 Intersection Type Assignment in Term Rewriting Systems –Steffen van Bakel — 1996
Rank 2 Intersection Type Assignment in Term Rewriting Systems –Steffen Van Bakel — 1996 — Fundamenta Informaticae