Concurrent pattern unification
TP Given-Wilson · UTS ePRESS (University of Technology Sydney) · 2012
who have assisted in various ways, I thank you.Unfortunately it is not feasible to acknowledge everyone individually, however there are some who deserve particular mention.Barry Jay, my supervisor, mentor, greatest supporter and perhaps also my greatest antagonist.My special thanks for being encouraging and supportive, while always remaining unconvinced until both narrative and proof were provided.