FreshOCaml
From MaRDI portal
Software:34406
swMATH22615MaRDI QIDQ34406FDOQ34406
Author name not available (Why is that?)
Cited In (8)
- 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
- 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
- The representational adequacy of <scp>Hybrid</scp>
This page was built for software: FreshOCaml
