logic, *-autonomous categories and cofree algebras (1989)

by Linear
Venue:In Conference on Categories in Computer Science and Logic, volume 92 of AMS Contemporary Mathematics