swMATH22615MaRDI QIDQ34406FDOQ34406
Author name not available (Why is that?)
Official website: http://www.fresh-ocaml.org/
Cited In (16)
- A dependent type theory with abstractable names
- 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
- The representational adequacy of Hybrid
- Gmeta
- RepLib
- FreshML
- LOIS
- HNT
- NLambda
- Unbound
- Binders unbound
- Fast computations on ordered nominal sets
- Free functor from the category of \(G\)-nominal sets to that of 01-\(G\)-nominal sets
- Simple and subdirectly irreducible finitely supported \(Cb\)-sets
- Ons
This page was built for software: FreshOCaml
