Nuprl Definition : var-deq
VarDeq == λa,b. eq_var(a;b)
Definitions occuring in Statement :
eq_var: eq_var(a;b),
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
eq_var: eq_var(a;b)
FDL editor aliases :
var-deq
Latex:
VarDeq == \mlambda{}a,b. eq\_var(a;b)
Date html generated:
2020_05_19-PM-09_53_01
Last ObjectModification:
2020_03_09-PM-04_07_57
Theory : terms
Home
Index