A categorical study on the finiteness of specifications (0)

by Răzvan Diaconescu
Venue:Information Processing Letters