Logic Courses
Insights into Mathematics via YouTube Disequalities in E-Graphs: An Experiment
ACM SIGPLAN via YouTube Reasoning via Semantic Transformations
ACM SIGPLAN via YouTube Symbolic Execution with Separating Decision Diagrams
ACM SIGPLAN via YouTube Teaching Logic and Set Theory with Dafny
ACM SIGPLAN via YouTube Session Types vs. Ordinary Types: Understanding Fundamental Differences - Lecture 30
ACM SIGPLAN via YouTube The Semantics of Plurals in Expression Languages - SLE
ACM SIGPLAN via YouTube Interpolation and Quantifiers in Ortholattices
ACM SIGPLAN via YouTube Logic and Decidability in Programming Languages - Session Preview II
ACM SIGPLAN via YouTube Type Theory Session Preview - POPL 2023
ACM SIGPLAN via YouTube