Stratified bounded affine logic for logarithmic space (0)

by U Schöpp
Venue:In LICS ’07: Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society