Masato Takeichi. A calculational fusion system HYLO (1997)

by Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki
Venue:In Proceedings of the IFIP TC 2 WG 2.1 international workshop on Algorithmic languages and calculi