Light Logic and Resource Bounded Computation.

C.-H. Luke Ong

Browse the full APLAS paper archive.