School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction (2000 University of Oxford)

Books by School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction (2000 University of Oxford) on BookTides.