research
∙
02/11/2023
An Evaluation Algorithm for Datalog with Equality
We describe an evaluation algorithm for relational Horn logic (RHL). RHL...
share
research
∙
02/06/2023
Algebraic Semantics of Datalog with Equality
We discuss the syntax and semantics of relational Horn logic (RHL) and p...
research
∙
07/06/2020
An interpretation of dependent type theory in a model category of locally cartesian closed categories
Locally cartesian closed (lcc) categories are natural categorical models...
research
∙
12/16/2019