Tilbage til artikeldetaljer
A Fully Abstract Presheaf Semantics of SCCS with Finite Delay
Download
Download PDF