Nuprl Definition : pcorec
pcorec(lbl,p.a[lbl; p]) == corec-family(λX.ptuple(lbl,p.a[lbl; p];X))
Definitions occuring in Statement :
ptuple: ptuple(lbl,p.a[lbl; p];X),
corec-family: corec-family(H),
lambda: λx.A[x]
Definitions occuring in definition :
corec-family: corec-family(H),
lambda: λx.A[x],
ptuple: ptuple(lbl,p.a[lbl; p];X)
FDL editor aliases :
pcorec
Latex:
pcorec(lbl,p.a[lbl; p]) == corec-family(\mlambda{}X.ptuple(lbl,p.a[lbl; p];X))
Date html generated:
2019_06_20-PM-02_04_04
Last ObjectModification:
2019_02_21-PM-03_15_49
Theory : tuples
Home
Index