Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Bidlingmaier, Martin E."'
Autor:
Bidlingmaier, Martin E.
We describe an evaluation algorithm for relational Horn logic (RHL). RHL extends Datalog with quantification over sorts, existential quantification in conclusions and, crucially, the ability to infer equalities. These capabilities allow RHL evaluatio
Externí odkaz:
http://arxiv.org/abs/2302.05792
Autor:
Bidlingmaier, Martin E.
We discuss the syntax and semantics of relational Horn logic (RHL) and partial Horn logic (PHL). RHL is an extension of the Datalog programming language that allows introducing and equating variables in conclusions. PHL is a syntactic extension of RH
Externí odkaz:
http://arxiv.org/abs/2302.03167
Autor:
Bidlingmaier, Martin E.
Locally cartesian closed (lcc) categories are natural categorical models of extensional dependent type theory. This paper introduces the "gros" semantics in the category of lcc categories: Instead of constructing an interpretation in a given individu
Externí odkaz:
http://arxiv.org/abs/2007.02900
Publikováno v:
Mathematical Structures in Computer Science, 1-29, 2021
The ALEA Coq library formalizes measure theory based on a variant of the Giry monad on the category of sets. This enables the interpretation of a probabilistic programming language with primitives for sampling from discrete distributions. However, co
Externí odkaz:
http://arxiv.org/abs/1912.07339
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.