research
∙
06/15/2023
Streamlining Input/Output Logics with Sequent Calculi
Input/Output (I/O) logic is a general framework for reasoning about cond...
share
research
∙
02/17/2022
Scheduling Complexity of Interleaving Search
miniKanren is a lightweight embedded language for logic and relational p...
research
∙
08/09/2020
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them
In sequent calculi, cut elimination is a property that guarantees that a...
research
∙
05/03/2020
