Concurrent pattern unification

Thomas Given-Wilson. Concurrent pattern unification. PhD thesis, University of Technology Sydney, Australia, 2012. [doi]

Abstract

Abstract is missing.