Input/Output (I/O) logic is a general framework for reasoning about
cond...
miniKanren is a lightweight embedded language for logic and relational
p...
In sequent calculi, cut elimination is a property that guarantees that a...
We present a formal study of semantics for the relational programming
la...
share