The following pages link to Substitution revisited (Q1106190):
Displayed 6 items.
- Strong categorical datatypes II: A term logic for categorical programming (Q673963) (← links)
- A conservative look at operational semantics with variable binding (Q1273877) (← links)
- The Qu-Prolog unification algorithm: formalisation and correctness (Q1349886) (← links)
- A formalised first-order confluence proof for the \(\lambda\)-calculus using one-sorted variable names. (Q1401936) (← links)
- Secure mechanical verification of mutually recursive procedures (Q1887136) (← links)
- Timing and causality in process algebra (Q1924998) (← links)