Classical Distributive Restriction Categories.

Robin Cockett Jean-Simon Pacaud Lemay

Published in: CoRR (2023)

Keyphrases

information systems
special case
object categories
genetic algorithm
case study
logic programs
hierarchical structure
general theory