Nuprl Definition : system-function
system-function(S) == λx.system-fpf(S)(x)?<[], []>
Definitions occuring in Statement :
system-fpf: system-fpf(S),
fpf-cap: f(x)?z,
id-deq: IdDeq,
nil: [],
lambda: λx.A[x],
pair: <a, b>
FDL editor aliases :
system-function
Latex:
system-function(S) == \mlambda{}x.system-fpf(S)(x)?<[], []>
Date html generated:
2015_07_23-AM-11_08_23
Last ObjectModification:
2012_02_25-PM-03_39_07
Home
Index