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