System ST \beta-reduction and completeness.

Christophe Raffalli

Browse the full LICS paper archive.