Nuprl Definition : p-conditional
[f?g] == λx.if can-apply(f;x) then f x else g x fi
Definitions occuring in Statement :
can-apply: can-apply(f;x),
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
ifthenelse: if b then t else f fi ,
can-apply: can-apply(f;x),
apply: f a
FDL editor aliases :
p-conditional
Latex:
[f?g] == \mlambda{}x.if can-apply(f;x) then f x else g x fi
Date html generated:
2016_05_15-PM-03_30_26
Last ObjectModification:
2015_09_23-AM-07_43_50
Theory : general
Home
Index