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