The following pages link to (Q4430286):
Displayed 4 items.
- Kripke-style models for typed lambda calculus (Q804559) (← links)
- Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets (Q1185017) (← links)
- An order-sorted logic for knowledge representation systems (Q1193487) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)