## Akimasa Morihata

*Lambda calculus with algebraic simplification for reduction parallelization by equational reasoning*

ICFP, 2019.

@article{ICFP-2019-Morihata, author = "Akimasa Morihata", doi = "10.1145/3341644", journal = "{Proceedings of the ACM on Programming Languages}", number = "ICFP", pages = "25", title = "{Lambda calculus with algebraic simplification for reduction parallelization by equational reasoning}", volume = 3, year = 2019, }