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

Publiceret: 1999-01-28

Artikler