Nuprl Definition : corec-rel
corec-rel(G) == λx,y. ∀n:ℕ. (G^n (λx,y. True) x y)
Definitions occuring in Statement :
fun_exp: f^n,
nat: ℕ,
all: ∀x:A. B[x],
true: True,
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
all: ∀x:A. B[x],
nat: ℕ,
apply: f a,
fun_exp: f^n,
lambda: λx.A[x],
true: True
FDL editor aliases :
corec-rel
Latex:
corec-rel(G) == \mlambda{}x,y. \mforall{}n:\mBbbN{}. (G\^{}n (\mlambda{}x,y. True) x y)
Date html generated:
2018_07_25-PM-01_30_27
Last ObjectModification:
2018_05_31-PM-01_59_42
Theory : co-recursion
Home
Index