FreshOCaml
From MaRDI portal
Cited in
(16)- Ons
- Simple and subdirectly irreducible finitely supported \(Cb\)-sets
- Free functor from the category of G-nominal sets to that of 01-G-nominal sets
- FreshML
- Gmeta
- RepLib
- The representational adequacy of Hybrid
- LOIS
- Unbound
- HNT
- NLambda
- Binders unbound
- A dependent type theory with abstractable names
- Fast computations on ordered nominal sets
- An initial algebra approach to term rewriting systems with variable binders
- Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms
This page was built for software: FreshOCaml
