A Categorical Unification Algorithm

David Rydeheard, Rod M Burstall, David H Pitt (Editor), Samson Abramsky (Editor), Axel Poigné (Editor), David E Rydeheard (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Cite this