Combinatory Models and Symbolic Computation

Karl Aberer. Combinatory Models and Symbolic Computation. In John Fitch, editor, Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO 92, Bath, UK, April 13-15, 1992, Proceedings. Volume 721 of Lecture Notes in Computer Science, pages 116-131, Springer, 1992.

@inproceedings{Aberer92,
  title = {Combinatory Models and Symbolic Computation},
  author = {Karl Aberer},
  year = {1992},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/Aberer92},
  cites = {0},
  citedby = {0},
  pages = {116-131},
  booktitle = {Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO  92, Bath, UK, April 13-15, 1992, Proceedings},
  editor = {John Fitch},
  volume = {721},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57272-4},
}