Pages that link to "Item:Q5958752"
From MaRDI portal
The following pages link to Primitive recursion for higher-order abstract syntax (Q5958752):
Displaying 26 items.
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- PNL to HOL: from the logic of nominal sets to the logic of higher-order functions (Q714797) (← links)
- A recursive second order initial algebra specification of primitive recursion (Q1338890) (← links)
- A formalised first-order confluence proof for the \(\lambda\)-calculus using one-sorted variable names. (Q1401936) (← links)
- Higher-order unification revisited: Complete sets of transformations (Q1823936) (← links)
- A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
- Rensets and renaming-based recursion for syntax with bindings (Q2104549) (← links)
- Self-quotation in a typed, intensional lambda-calculus (Q2130593) (← links)
- Recursion over objects of functional type (Q2746760) (← links)
- General recursion on second order term algebras (Q2778868) (← links)
- A simple nominal type theory (Q2804939) (← links)
- Developing (meta)theory of \(\lambda\)-calculus in the theory of contexts (Q2841233) (← links)
- A third-order representation of the \(\lambda\mu\)-calculus (Q2841236) (← links)
- Functional programming with higher-order abstract syntax and explicit substitutions (Q2866332) (← links)
- Structural recursion with locally scoped names (Q3016213) (← links)
- (Q3024905) (← links)
- (Q3142168) (← links)
- (Q4474849) (← links)
- Stratified polymorphism and primitive recursion (Q4704766) (← links)
- (Q5119390) (← links)
- The calculus of dependent lambda eliminations (Q5372010) (← links)
- Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism (Q5437034) (← links)
- (Q5475458) (← links)
- Typed Lambda Calculi and Applications (Q5704020) (← links)
- Normalization by evaluation for modal dependent type theory (Q6065506) (← links)
- Rensets and renaming-based recursion for syntax with bindings extended version (Q6111524) (← links)
