Pages that link to "Item:Q5234713"
From MaRDI portal
The following pages link to A colored version of the λ-calculus (Q5234713):
Displaying 5 items.
- The use of embeddings to provide a clean separation of term and annotation for higher order rippling (Q540694) (← links)
- Coloring terms to control equational reasoning (Q1367077) (← links)
- Managing structural information by higher-order colored unification (Q1582389) (← links)
- Productive use of failure in inductive proof (Q1915134) (← links)
- Termination orderings for rippling (Q5210791) (← links)