Mechanized Undecidability of Higher-order beta-Matching (abstract)

Combining Generalization Algorithms in Regular Collapse-Free Theories (abstract)

The Unification Type of an Equational Theory May Depend on the Instantiation Preorder (abstract)

Knowledge Problems vs Unification and Matching: Dichotomy Results (abstract)

Coherent Tietze transformations of 1-polygraphs in homotopy type theory (abstract)

Impredicative Encodings of Inductive and Coinductive Types (abstract)

Substructural Parametricity (abstract)

Categorical Continuation Semantics for Concurrency (abstract)

Higher-Dimensional Automata : Extension to Infinite Tracks (abstract)

Grading call-by-push-value, explicitly and implicitly (abstract)

The Cost of Skeletal Call-by-Need, Smoothly (abstract)

Quantitative Types for the Functional Machine Calculus (abstract)

What does it take to certify a conversion checker? (abstract)

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems (abstract)

An Innermost DP Framework for Constrained Higher-Order Rewriting (abstract)

Completeness of the decreasing diagrams method for proving confluence of rewriting systems of the least uncountable cardinality (abstract)

Unifying Algebraic and Boolean Descriptive Complexity (abstract)

Branch Sequentialization in Quantum Polytime (abstract)

A Zoo of Continuity Properties in Constructive Type Theory (abstract)

On the Metric Nature of (Differential) Logical Relations (abstract)

Internal Effectful Forcing in System T (abstract)

An Expressive Trace Logic for Recursive Programs (abstract)

Yeo’s Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic (abstract)

Linear logic using negative connectives (abstract)

Functorial Models of Differential Linear Logic (abstract)

Ohana trees and Taylor expansion for the λI-calculus (abstract)

From Partial to Monadic: Combinatory Algebra with Effects (abstract)

∞-categorical models of linear logic (abstract)

Solving Guarded Domain Equations in Presheaves Over Ordinals and Mechanizing It (abstract)

Interpolation as Cut-Introduction: On the Computational Content of Craig-Lyndon Interpolation (abstract)

Monad Translations for Higher-Order Logic (abstract)