The following pages link to FreshOCaml (Q34406):
Displaying 8 items.
- A dependent type theory with abstractable names (Q530845) (← links)
- An initial algebra approach to term rewriting systems with variable binders (Q853743) (← links)
- Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms (Q964000) (← links)
- Simple and subdirectly irreducible finitely supported \(Cb\)-sets (Q1680555) (← links)
- Free functor from the category of \(G\)-nominal sets to that of 01-\(G\)-nominal sets (Q1797955) (← links)
- The representational adequacy of <scp>Hybrid</scp> (Q3008233) (← links)
- Binders unbound (Q5176984) (← links)
- Fast computations on ordered nominal sets (Q5918532) (← links)
