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

by Steffen van Bakel
Citations:23 - 15 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