Projections instead of variables: A category theoretic interpretation of logic programs (1989)

by A Asperti, S Martini
Venue:In Proc. ICLP’89