Find link

language:

Find link is a tool written by Edward Betts.

searching for Unifying Theories of Programming 1 found (10 total)

alternate case: unifying Theories of Programming

Restriction (mathematics) (1,924 words) [view diff] exact match in snippet view article

Hall. ISBN 978-0-13-184869-6. Dunne, S. and Stoddart, Bill Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle,