A Typing System for the Linear Lambda-Calculus in de Bruijn Notation | Digital Library | PAMCET | PAMCET