Rank 2 Types for Term Graph Rewriting (Extended Abstract)

by Steffen van Bakel
Citations:3 - 3 self