Equational reasoning with lollipops‚ forks‚ cups‚ caps‚ snakes‚ and speedometers
R. Hinze and D. Marsden
Journal
J. Log. Algebr. Meth. Program.
Number
5
Pages
931–951
Volume
85
Year
2016
R. Hinze and D. Marsden