The following pages link to (Q3024905):
Displaying 16 items.
- Cut-free Gentzen calculus for multimodal CK (Q764259) (← links)
- A recursive second order initial algebra specification of primitive recursion (Q1338890) (← links)
- Nominal logic, a first order theory of names and binding (Q1887151) (← links)
- Recursion over objects of functional type (Q2746760) (← links)
- General recursion on second order term algebras (Q2778868) (← links)
- The mechanisation of Barendregt-style equational proofs (the residual perspective) (Q2841232) (← links)
- A representation of \(F_{\omega}\) in LF (Q2841235) (← links)
- A third-order representation of the \(\lambda\mu\)-calculus (Q2841236) (← links)
- Functional programming with higher-order abstract syntax and explicit substitutions (Q2866332) (← links)
- Programming Inductive Proofs (Q3058448) (← links)
- (Q4474849) (← links)
- Stratified polymorphism and primitive recursion (Q4704766) (← links)
- Formalizing Type Operations Using the “Image” Type Constructor (Q4917993) (← links)
- (Q5475458) (← links)
- Typed Lambda Calculi and Applications (Q5704020) (← links)
- Primitive recursion for higher-order abstract syntax (Q5958752) (← links)
