is square: Representation and expressiveness in light affine logic’, presented at (2002)

by P Neergaard, ‘LAL andH Mairson
Venue:the Fourth International Workshop on Implicit Computational Complexity