Structural Decidable Extensions of Bounded Quantification
Abstract
We show how the subtype relation of the well-known system order theory of several successor functions (W)SnS.
Related papers
- Recursive Subtyping for All POPL 2023
- Recursive subtyping for all JFP 2025
- Corrigendum: Decidable Bounded Quantification POPL 1995
- Decidable Bounded Quantification POPL 1994
- Realizing ømega-regular Hyperproperties CAV 2020
- An extension of HM(X) with bounded existential and universal data-types ICFP 2003
- Application of OOP Type Theory: State, Decidability, Integragtion OOPSLA 1994
- Greedy Implicit Bounded Quantification OOPSLA 2023