Pages that link to "Item:Q2746760"
From MaRDI portal
The following pages link to Recursion over objects of functional type (Q2746760):
Displaying 5 items.
- Cut-free Gentzen calculus for multimodal CK (Q764259) (← links)
- Closure functions and general iterates as reflectors (Q808275) (← links)
- Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts (Q2642466) (← links)
- (Q3325707) (← links)
- Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism (Q5437034) (← links)