Rank 2 Types for Term Graph Rewriting (Extended Abstract (2002)

by S van Bakel
Venue:In Electronic Proceedings of International Workshop Types in Programming (TIP’02