Pages that link to "Item:Q1391728"
From MaRDI portal
The following pages link to May I borrow your logic? (Transporting logical structures along maps) (Q1391728):
Displayed 7 items.
- Categorical abstract algebraic logic: models of \(\pi\)-institutions (Q817965) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- From static to dynamic abstract data-types: An institution transformation (Q1285655) (← links)
- Logical systems for structured specifications. (Q1853454) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Abstract Beth definability in institutions (Q3410686) (← links)