@dblp

A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi.

, , , and . LSFA, volume 269 of Electronic Notes in Theoretical Computer Science, page 41-54. Elsevier, (2010)

Links and resources

Tags