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

by Peter Møller Neergaard , Harry G. Mairson
Venue:In Proc. Workshop on Implicit Computational Complexity
Citations:3 - 2 self