Rank 2 Types for Term Graph Rewriting

View PDF

Download Links

by Steffen Van Bakel
Citations:2 - 1 self