Rank 2 types for term graph rewriting (2003)

Cached

Download Links

by Steffen van Bakel
Venue:IN TIP’02, VOLUME 75 OF ENTCS
Citations:2 - 1 self