Non-sequential Mathematical Notations in the LAMBDA System

Cristian Bernareggi. Non-sequential Mathematical Notations in the LAMBDA System. In Klaus Miesenberger, Joachim Klaus, Wolfgang L. Zagler, Arthur I. Karshmer, editors, Computers Helping People with Special Needs, 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010, Proceedings, Part II. Volume 6180 of Lecture Notes in Computer Science, pages 389-395, Springer, 2010. [doi]

@inproceedings{Bernareggi10,
  title = {Non-sequential Mathematical Notations in the LAMBDA System},
  author = {Cristian Bernareggi},
  year = {2010},
  doi = {10.1007/978-3-642-14100-3_58},
  url = {http://dx.doi.org/10.1007/978-3-642-14100-3_58},
  researchr = {https://researchr.org/publication/Bernareggi10},
  cites = {0},
  citedby = {0},
  pages = {389-395},
  booktitle = {Computers Helping People with Special Needs, 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010, Proceedings, Part II},
  editor = {Klaus Miesenberger and Joachim Klaus and Wolfgang L. Zagler and Arthur I. Karshmer},
  volume = {6180},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-14099-0},
}