Skip to content

Instantly share code, notes, and snippets.

@ddellacosta
Created September 27, 2014 03:03
Show Gist options
  • Save ddellacosta/ec53b5e56a4495855dae to your computer and use it in GitHub Desktop.
Save ddellacosta/ec53b5e56a4495855dae to your computer and use it in GitHub Desktop.
(λx.P)[x := N] = λx.P;
(λy.P)[x := N] = λy.P[x := N], if y ̸∈ FV(N) or x ̸∈ FV(P);
(λy.P)[x := N] = λz.P[y := z][x := N], if y ∈ FV(N) and x ∈ FV(P).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment