Implementing a category-theoretic framework for typed abstract syntax.

Benedikt Ahrens Ralph Matthes Anders Mörtberg

Published in: CPP (2022)

Keyphrases

theoretic framework
information theoretic
high level
spectral graph
higher order
mutual information
low level
database
object categories
database systems
natural language
feature selection
text classification
information systems
artificial intelligence
predicate calculus
lambda calculus
databases