Venue. Journal of Logical and Algebraic Methods in Programming

Journal of Logical and Algebraic Methods in Programming · Journal · Elsevier BV

2016

Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers hinze-2016-equationalJournal of Logical and Algebraic Methods in Programming · 2016
DOI
journal-of-logical-and-algebraic-methods-in-programming venue entries/venues/journal-of-logical-and-algebraic-methods-in-programming.hel