FreshOCaml
From MaRDI portal
Software:34406
No author found.
Related Items (8)
An initial algebra approach to term rewriting systems with variable binders ⋮ Simple and subdirectly irreducible finitely supported \(Cb\)-sets ⋮ The representational adequacy of <scp>Hybrid</scp> ⋮ A dependent type theory with abstractable names ⋮ 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
This page was built for software: FreshOCaml
