Mechanizing Proof Theory: Resource-Aware Logics and Proof-Transformations to Extract Implicit Information (1990)

by G Bellin