SUBSEXPL

swMATH923MaRDI QIDQ13667FDOQ13667

Author name not available (Why is that?)

Official website: http://www.cic.unb.br/~flavio/subsexpl/index.html

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