Simple Type Inference for Term Graph Rewriting Systems

Richard Banach, Michaël Rusinowitch (Editor), Jean-Luc Remy (Editor)

    Research output: Chapter in Book/Conference proceedingConference contribution

    Cite this