Nuprl Definition : conditional
[P? f : g] == λx.if p:P x then f x else g x fi
Definitions occuring in Statement :
apply: f a,
lambda: λx.A[x],
branch: if p:P then A[p] else B fi
FDL editor aliases :
conditional
conditional
Latex:
[P? f : g] == \mlambda{}x.if p:P x then f x else g x fi
Date html generated:
2016_05_16-AM-10_14_57
Last ObjectModification:
2013_03_25-PM-01_55_28
Theory : new!event-ordering
Home
Index