From the 1 of 36 papers with an AI index.
22 citations
- Centre National de la Recherche ScientifiqueFR17 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR9 papers
- Institut Élie Cartan de LorraineFR7 papers
- Institut Jean LamourFR5 papers
- Institut de Recherche Mathématique AvancéeFR2 papers
- Institut Polytechnique de BordeauxFR2 papers
- Laboratoire de Physique et Chimie ThéoriquesFR2 papers
- Saarland UniversityDE2 papers
- Université de StrasbourgFR2 papers
- University of KaiserslauternDE2 papers
- University of LisbonPT2 papers
- Aix-Marseille UniversitéFR1 paper
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
A Typing System for the Linear Lambda-Calculus in de Bruijn Notation
Philippe de Groote, Vincent Tourneur
We introduce a typing system that is particularly well suited for typing the linear lambda-calculus in de Bruijn notation. This typing discipline, which is reminiscent of Hodas' an…
cs.LO2026★ 1 cited
Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent
Carter Bunch, Saraid Dwyer Satterfield, Serdar Erbatur +2
We introduce a new form of restricted term rewrite system, the graph-embedded term rewrite system. These systems, and thus the name, are inspired by the graph minor relation and ar…