Proof Theory Courses
MUNI Seminar Series via YouTube Explicit Refinement Types - A Type Theory with Embedded Proofs
ACM SIGPLAN via YouTube Interpolation and Quantifiers in Ortholattices
ACM SIGPLAN via YouTube Focusing on Refinement Typing - A Logically Principled Foundation
ACM SIGPLAN via YouTube The Complex(ity) Landscape of Checking Infinite Descent
ACM SIGPLAN via YouTube Orthologic with Axioms - Proof Theory and Algorithms
ACM SIGPLAN via YouTube