@inproceedings{RTA-2008-ArrighiD,
author = "Pablo Arrighi and Gilles Dowek",
booktitle = "{Proceedings of the 19th International Conference on Rewriting Techniques and Applications}",
doi = "10.1007/978-3-540-70590-1_2",
editor = "Andrei Voronkov",
isbn = "978-3-540-70588-8",
pages = "17--31",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Linear-algebraic λ-calculus: higher-order, encodings, and confluence}",
volume = 5117,
year = 2008,
}
Tags: