2 papers
cs.LO2025
Towards the type safety of Pure Subtype Systems (Full version)
Valentin Pasquale, Ãlvaro GarcÃa-Pérez
Hutchins' Pure Subtype Systems (PSS) offer a unified framework for types and terms, promising significant advancements in language design for features like dependent types and high…
cs.LO2025
Arity hierarchies for quantifiers closed under partial polymorphisms
Anuj Dawar, Lauri Hella, Benedikt Pago
We investigate the expressive power of generalized quantifiers closed under partial polymorphism conditions motivated by the study of constraint satisfaction problems. We answer a…