Object calculi in linear logic

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},
}