Pages that link to "Item:Q853744"
From MaRDI portal
The following pages link to Explicit substitutions and higher-order syntax (Q853744):
Displaying 16 items.
- Substitution in non-wellfounded syntax with variable binding (Q703526) (← links)
- Explicit substitutions and higher-order syntax (Q853744) (← links)
- Modules over monads and initial semantics (Q964503) (← links)
- Higher-order substitutions (Q1854398) (← links)
- CINNI -- a generic calculus of explicit substitutions and its application to \(\lambda\)-, \(\sigma\)- and \(\pi\)-calculi (Q2703692) (← links)
- Substitution in non-wellfounded syntax with variable binding (Q2843728) (← links)
- Functional programming with higher-order abstract syntax and explicit substitutions (Q2866332) (← links)
- Initial Algebra Semantics for Cyclic Sharing Structures (Q3637190) (← links)
- (Q4357055) (← links)
- (Q4499217) (← links)
- (Q4506392) (← links)
- Coproducts of Ideal Monads (Q4659887) (← links)
- (Q5009703) (← links)
- High-level signatures and initial semantics (Q5079724) (← links)
- (Q5089005) (← links)
- Programming Languages and Systems (Q5464050) (← links)