Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems.

Francisco Gutirrez, Blas C. Ruiz

Browse the full ICALP paper archive.