bilateral logic 1higher-order logic 1propositions-as-types 1strong negation 1two-sided type systems 1
From the 1 of 2 linked papers with an AI index.
2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2026
Logical Foundations of Two-Sided Type Theory
Celia Mengyue Li, Steven Ramsay
The paper develops the logical basis of two‑sided type systems, introducing new systems (2λInt, 2λInt~ and 2λHOL) that correspond to bilateral logic and its extension with strong n…
cs.PL2026★ 2 cited
A Complementary Approach to Incorrectness Typing
Celia Mengyue Li, Sophie Pull, Steven Ramsay
We introduce a new two-sided type system for verifying the correctness and incorrectness of functional programs with atoms and pattern matching. A key idea in the work is that type…