Login / Signup
Category Theoretic Semantics for Typed Binding Signatures with Recursion.
John Power
Miki Tanaka
Published in:
Fundam. Informaticae (2008)
Keyphrases
</>
higher order
formal semantics
deductive databases
semantic representation
data sets
complex objects
semantic relationships
signature verification
neural network
natural language
object recognition
relational databases
hierarchical structure
owl ontologies
operational semantics