LAL is square: representation and expressiveness in light affine logic (2002)

by P M Neergaard, H G Mairson
Venue:Presented at the Fourth International Workshop on Implicit Computational Complexity