A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi (Q5179010)
From MaRDI portal
scientific article; zbMATH DE number 6416655
Language | Label | Description | Also known as |
---|---|---|---|
English | A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi |
scientific article; zbMATH DE number 6416655 |
Statements
A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi (English)
0 references
18 March 2015
0 references
term rewriting systems
0 references
calculi of explicit substitutions
0 references
\(\lambda\)-calculi
0 references
0 references