A Fully Abstract Presheaf Semantics of SCCS with Finite Delay (1999)

Cached

Download Links

by Thomas Troels Hildebrandt
Venue:Department of Computer Science, University of Aarhus
Citations:19 - 3 self