Linearity and recursion in a typed Lambda-calculus.

Sandra Alves, Maribel Fernndez, Mrio Florido, Ian Mackie

Browse the full PPDP paper archive.