Autosubst

swMATH22669MaRDI QIDQ34460FDOQ34460

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-319-22102-1_24

Cited In (12)

• Rensets and renaming-based recursion for syntax with bindings
• Gmeta
• LNgen
• PoplMark
• CoCaml
• foetus
• Trakhtenbrot’s Theorem in Coq
• Dependent types and multi-monadic effects in \(\mathrm{F}^*\)
• MetaCoq
• coq-library-undecidability
• Zooid
• Binding structures as an abstract data type

This page was built for software: Autosubst