Relational semantics refines the contextual preorder on lambda terms by constraining interaction counts through a checkers-calculus interpretation.
Habilitation à diriger des recherches, Aix-Marseille Université, Marseille, France (2024), https: //tel.archives-ouvertes.fr/tel-04523273
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Interaction Improvement
Relational semantics refines the contextual preorder on lambda terms by constraining interaction counts through a checkers-calculus interpretation.