Pages that link to "Item:Q3133181"
From MaRDI portal
The following pages link to Combinatorics of $\lambda$-terms: a natural approach (Q3133181):
Displaying 5 items.
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- Generalised graded interpolation (Q2105608) (← links)
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols (Q2111114) (← links)
- Stability of termination and sufficient-completeness under pushouts via amalgamation (Q2215962) (← links)
- (Q5089006) (← links)
