Pages that link to "Item:Q2782494"
From MaRDI portal
The following pages link to Categorial fibring of logics with terms and binding operators (Q2782494):
Displaying 5 items.
- Fibred semantics for feature-based grammar logic (Q1923842) (← links)
- Fibring: Completeness preservation (Q2732291) (← links)
- Fibring of logics as a categorial construction (Q4242584) (← links)
- Fibring Logics with Topos Semantics (Q4434616) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900822) (← links)