SUBSEXPL

swMATH923MaRDI QIDQ13667FDOQ13667

Author name not available (Why is that?)

Described by source

• SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi ★

Cited In (2)

• A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi
• Higher-order unification: a structural relation between Huet's method and the one based on explicit substitutions

This page was built for software: SUBSEXPL