Resolution and Type Theory
No abstract available.
Related papers
- A Theory of Name Resolution ESOP 2015
- A theory of effects and resources: adjunction models and polarised calculi POPL 2016
- On Expansion and Resolution in CEGAR Based QBF Solving CAV 2017
- Efficient Certified Resolution Proof Checking TACAS 2017
- The Proof Complexity of SMT Solvers CAV 2018
- Specializing Scope Graph Resolution Queries SLE 2022
- Resolution as intersection subtyping via Modus Ponens OOPSLA 2020
- Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves CPP 2023