Skip to main content

Equational reasoning with lollipops‚ forks‚ cups‚ caps‚ snakes‚ and speedometers

Ralf Hinze and Dan Marsden

Journal
J. Log. Algebr. Meth. Program.
Number
5
Pages
931–951
Volume
85
Year
2016