SUBSEXPL

MaRDI QIDQ13667swMATHFDO

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