Stratified bounded affine logic for logarithmic space (2007)

by U Schöpp
Venue:in ‘LICS’, IEEE Computer Society