Autosubst

swMATH22669MaRDI QIDQ34460FDOQ34460

Author name not available (Why is that?)

Cited In (4)

• Rensets and renaming-based recursion for syntax with bindings
• Binding Structures as an Abstract Data Type
• Trakhtenbrot’s Theorem in Coq
• Dependent types and multi-monadic effects in \(\mathrm{F}^*\)

This page was built for software: Autosubst