Masato Takeichi. A calculational fusion system HYLO (1997)

by Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki
Venue:In Proceedings of the IFIP TC 2 Working Conference on Algorithmic Languages and Calculi