Categorical semantics for arrows.

Bart Jacobs Chris Heunen Ichiro Hasuo

Published in: J. Funct. Program. (2009)

Keyphrases

logic programming
formal semantics
semantic information
data sets
logical framework
genetic algorithm
conceptual model
operational semantics
nonmonotonic logics