1 paper
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…