No. 28 (1999): RS-28 A Fully Abstract Presheaf Semantics of SCCS with Finite Delay

Published: 1999-01-28