1 paper
Dmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev
We present a formal study of semantics for the relational programming language miniKanren. First, we formulate a denotational semantics which corresponds to the minimal Herbrand mo…