Pages that link to "Explicit substitution"

From HandWiki

← Explicit substitution

What links here Page: Namespace: Invert selection

Filters Hide transclusions | Hide links | Hide redirects

The following pages link to Explicit substitution:

Displayed 10 items.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

Krivine machine ‎ (← links)
Lambda calculus ‎ (← links)
Unification (computer science) ‎ (← links)
Metavariable ‎ (← links)
Automath ‎ (← links)
Categorical abstract machine ‎ (← links)
Combinatory logic ‎ (← links)
Director string ‎ (← links)
De Bruijn notation ‎ (← links)
CEK Machine ‎ (← links)

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

Retrieved from "https://handwiki.org/wiki/Special:WhatLinksHere/Explicit_substitution"