Login / Signup
Functorial Semantics of Second-Order Algebraic Theories.
Marcelo P. Fiore
Ola Mahmoud
Published in:
CoRR (2014)
Keyphrases
</>
higher order
algebraic structure
logic programming
semantic information
formal semantics
theoretical framework
databases
knowledge base
bayesian networks
high order
conceptual graphs
hessian matrix
difference equations