HNT

swMATH22614MaRDI QIDQ34405FDOQ34405

Author name not available (Why is that?)

Official website: https://perso.crans.org/calves/hnt/

Cited In (5)

• Matching and alpha-equivalence check for nominal terms
• RepLib
• FreshOCaml
• Unbound
• Binders unbound

This page was built for software: HNT