SUBSEXPL
From MaRDI portal
Software:13667
No author found.
Related Items (2)
Higher-order unification: a structural relation between Huet's method and the one based on explicit substitutions ⋮ A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi
This page was built for software: SUBSEXPL