Nuprl Definition : accessible
accessible(T;x,y.R[x; y];t) == pW t
Definitions occuring in Statement :
param-W: pW,
pi1: fst(t),
unit: Unit,
apply: f a,
product: x:A × B[x]
Definitions occuring in definition :
apply: f a,
param-W: pW,
unit: Unit,
product: x:A × B[x],
pi1: fst(t)
FDL editor aliases :
accessible
Latex:
accessible(T;x,y.R[x; y];t) == pW t
Date html generated:
2016_05_14-AM-06_18_35
Last ObjectModification:
2015_12_22-PM-05_19_50
Theory : co-recursion
Home
Index