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

Francisco Gutiérrez Blas C. Ruiz

Published in: ICALP (2003)

Keyphrases

cut elimination
sequent calculi
linear logic
high level
probabilistic model
sufficient conditions
dynamical systems
wide class