Quantalic lambda-calculus and additive disjunction | Digital Library | PAMCET | PAMCET