Interaction Systems

Andrea Asperti, Cosimo Laneve. Interaction Systems. In Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow, editors, Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA 93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers. Volume 816 of Lecture Notes in Computer Science, pages 1-19, Springer, 1993.

@inproceedings{AspertiL93:1,
  title = {Interaction Systems},
  author = {Andrea Asperti and Cosimo Laneve},
  year = {1993},
  researchr = {https://researchr.org/publication/AspertiL93%3A1},
  cites = {0},
  citedby = {0},
  pages = {1-19},
  booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA  93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers},
  editor = {Jan Heering and Karl Meinke and Bernhard Möller and Tobias Nipkow},
  volume = {816},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58233-9},
}