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

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

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Algebraic and coalgebraic methods in the mathematics of program construction
Algebraic and coalgebraic methods in the mathematics of program construction: international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures