A concrete categorical semantics of Lambda-S.

Alejandro Díaz-Caro Octavio Malherbe

Published in: CoRR (2018)

Keyphrases

formal semantics
logic programming
attribute values
categorical data
database
learning algorithm
decision trees
relational databases
specification language
speech acts
nonmonotonic logics
reinforced concrete
intended meaning