Light Logics and Optimal Reduction: Completeness and Complexity

BAILLOT P

DAL LAGO U.

COPPOLA, Paolo