Principal Typing in Elementary Affine Logic

COPPOLA, Paolo

RONCHI DELLA ROCCA S.