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

by Steffen van Bakel
Citations:22 - 14 self