The following pages link to (Q4028345):
Displaying 12 items.
- Equational type logic (Q752689) (← links)
- The \(HOL\) logic extended with quantification over type variables (Q1309243) (← links)
- Type introduction for equational rewriting (Q1579057) (← links)
- Variadic equational matching in associative and commutative theories (Q2029000) (← links)
- \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\) (Q2500472) (← links)
- Equivalences between pure type systems and systems of illative combinatory logic (Q2565990) (← links)
- Equational Reasoning with Applicative Functors (Q2829262) (← links)
- (Q2958550) (← links)
- Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear λ-Calculus (Q3527290) (← links)
- Dynamically-typed computations for order-sorted equational presentations (Q4632447) (← links)
- (Q5173183) (← links)
- On equivalence and canonical forms in the LF type theory (Q5277716) (← links)
