Rank 2 Types for Term Graph Rewriting (Extended Abstract)

by Steffen van Bakel
Citations:4 - 4 self