.:. Browse > List by authors > Bugliesi .:.

1 document

Object Calculi in Linear Logic Bugliesi M., Delzanno G., Liquori L., Martelli M. Journal of Logic and Computation 10, 1 (2000) 75-104 [inria-00099162 - version 1]