The following pages link to Higher order data types (Q3860824):
Displaying 8 items.
- Universal algebra in higher types (Q1199827) (← links)
- An algebraic generalization of Frege structures -- binding algebras (Q1274449) (← links)
- An algebraic semantics of higher-order types with subtypes (Q1323318) (← links)
- Computable total functions on metric algebras, universal algebraic specifications and dynamical systems (Q1764798) (← links)
- Verifying an infinite systolic algorithm using third-order equational methods (Q2500698) (← links)
- R n - and G n -logics (Q4645806) (← links)
- D-oids: a model for dynamic data-types (Q4856662) (← links)
- Higher-order order-sorted algebras (Q5096189) (← links)
