Lambda Representation of Operations Between Fifferent Term Algebras

Marek Zaionc. Lambda Representation of Operations Between Fifferent Term Algebras. In Leszek Pacholski, Jerzy Tiuryn, editors, Computer Science Logic, 8th International Workshop, CSL 94, Kazimierz, Poland, September 25-30, 1994, Selected Papers. Volume 933 of Lecture Notes in Computer Science, pages 91-105, Springer, 1994.

@inproceedings{Zaionc94,
  title = {Lambda Representation of Operations Between Fifferent Term Algebras},
  author = {Marek Zaionc},
  year = {1994},
  tags = { algebra},
  researchr = {https://researchr.org/publication/Zaionc94},
  cites = {0},
  citedby = {0},
  pages = {91-105},
  booktitle = {Computer Science Logic, 8th International Workshop, CSL  94, Kazimierz, Poland, September 25-30, 1994, Selected Papers},
  editor = {Leszek Pacholski and Jerzy Tiuryn},
  volume = {933},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60017-5},
}