@dblp

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

, , , und . LSFA, Volume 269 von Electronic Notes in Theoretical Computer Science, Seite 41-54. Elsevier, (2010)

Links und Ressourcen

Tags