Nuprl Definition : W-rel
W-rel(A;a.B[a];w) == param-W-rel(Unit;p.A;p,a.B[a];p,a,b.⋅;⋅;w)
Definitions occuring in Statement :
param-W-rel: param-W-rel(P;p.A[p];p,a.B[p; a];p,a,b.C[p; a; b];par;w),
it: ⋅,
unit: Unit
Definitions occuring in definition :
param-W-rel: param-W-rel(P;p.A[p];p,a.B[p; a];p,a,b.C[p; a; b];par;w),
unit: Unit,
it: ⋅
FDL editor aliases :
W-rel
Latex:
W-rel(A;a.B[a];w) == param-W-rel(Unit;p.A;p,a.B[a];p,a,b.\mcdot{};\mcdot{};w)
Date html generated:
2016_05_14-AM-06_15_01
Last ObjectModification:
2015_09_22-PM-05_47_16
Theory : co-recursion
Home
Index