Autosubst
From MaRDI portal
Software:34460
No author found.
Related Items (4)
Trakhtenbrot’s Theorem in Coq ⋮ Binding Structures as an Abstract Data Type ⋮ Dependent types and multi-monadic effects in F* ⋮ Rensets and renaming-based recursion for syntax with bindings
This page was built for software: Autosubst
