A categorical model for logic programs: indexed monoidal categories (1992)

by A Corradini, A Asperti
Venue:In Semantics: foundations and applications (Beekbergen