The following pages link to (Q4260389):
Displaying 4 items.
- Monadic extensions of institutions (Q622025) (← links)
- May I borrow your logic? (Transporting logical structures along maps) (Q1391728) (← links)
- Translating a Dependently-Typed Logic to First-Order Logic (Q3184740) (← links)
- Equivalences among various logical frameworks of partial algebras (Q6560181) (← links)