A Theory of Second-Order Trees
Abstract elided by the publisher.
Related papers
- Large model constructions for second-order ZF in dependent type theory CPP 2018
- Programming with Proofs: A Second Order Type Theory ESOP 1988
- How to prove your calculus is decidable: practical applications of second-order algebraic theories and computation ICFP 2017
- How to prove decidability of equational theories with second-order computation analyser SOL JFP 2019
- Hardware Verification using Monadic Second-Order Logic CAV 1995
- Complexity Analysis of Tree Share Structure APLAS 2018
- Formalized Proofs of the Infinity and Normal Form Predicates in the First-Order Theory of Rewriting TACAS 2020
- The first-order theory of subtyping constraints POPL 2002