Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
Ordered Adjoint Logic
Sophia Roshal, Frank Pfenning
Ordered logics and type systems have been used in a variety of applications including computational linguistics, memory allocation, stream processing, logical frameworks, parametri…
cs.LO2025
CoLF Logic Programming as Infinitary Proof Exploration
Zhibo Chen, Frank Pfenning
Logical Frameworks such as Automath [de Bruijn, 1968] or LF [Harper et al., 1993] were originally conceived as metalanguages for the specification of foundationally uncommitted ded…
cs.LO2025
Substructural Parametricity
C. B. Aberlé, Chris Martens, Frank Pfenning
Ordered, linear, and other substructural type systems allow us to expose deep properties of programs at the syntactic level of types. In this paper, we develop a family of unary lo…