A calculational fusion system HYLO

Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi. A calculational fusion system HYLO. In Richard S. Bird, Lambert G. L. T. Meertens, editors, Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France. Volume 95 of IFIP Conference Proceedings, pages 76-106, Chapman & Hall, 1997.

Abstract

Abstract is missing.