Keep it fair: Equivalence and composition
Mennicke, Stephan, Prehn, TobiasVolume:
104
Language:
english
Journal:
Journal of Logical and Algebraic Methods in Programming
DOI:
10.1016/j.jlamp.2019.01.004
Date:
April, 2019
File:
PDF, 592 KB
english, 2019