The following pages link to One-and-a-halfth-order Logic (Q3520234):
Displayed 11 items.
- Unity in nominal equational reasoning: the algebra of equality on nominal sets (Q420858) (← links)
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- PNL to HOL: from the logic of nominal sets to the logic of higher-order functions (Q714797) (← links)
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms (Q964000) (← links)
- A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets (Q1006642) (← 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)
- Nominal Equational Logic (Q2864152) (← links)
- Two-level Lambda-calculus (Q4982628) (← links)
- Rensets and renaming-based recursion for syntax with bindings extended version (Q6111524) (← links)