Pages that link to "Item:Q2849855"
From MaRDI portal
The following pages link to A \(\rho\)-calculus of explicit constraint application (Q2849855):
Displaying 6 items.
- A \(\rho\)-calculus of explicit constraint application (Q880989) (← links)
- Reduction rules for intuitionistic \(\lambda\rho\)-calculus (Q897480) (← links)
- The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q2055849) (← links)
- Semantic foundations for generalized rewrite theories (Q2503334) (← links)
- (Q4536107) (← links)
- A confluent relational calculus for higher-order programming with constraints (Q5096302) (← links)