1 paper
Andre' Hirschowitz, Marco Maggesi
We extend our approach to abstract syntax (with binding constructions) through modules and linearity. First we give a new general definition of arity, yielding the companion notion…