On the Expressive Power of Canonical Abstraction
Abstract elided by the publisher.
Related papers
- On the semantic expressiveness of recursive types POPL 2021
- On the Expressive Power of String Constraints POPL 2023
- Mechanizing Synthetic Tait Computability in Istari CPP 2026
- Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists VMCAI 2005
- Mechanizing metatheory in a logical framework JFP 2007
- How to make ad hoc proof automation less ad hoc JFP 2013
- Canonical Typing and Pi-Conversion in the Barendregt Cube JFP 1996
- Translating canonical SQL to imperative code in Coq OOPSLA 2022