Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli. Object calculi in linear logic. Journal of Logic and Computation, 10(1):75-104, 2000.
@article{BugliesiDLM00, title = {Object calculi in linear logic}, author = {Michele Bugliesi and Giorgio Delzanno and Luigi Liquori and Maurizio Martelli}, year = {2000}, tags = {meta-model, logic, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/BugliesiDLM00}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Computation}, volume = {10}, number = {1}, pages = {75-104}, }