Nuprl Definition : fpf-empty
⊗ == <[], λx.⋅>
Definitions occuring in Statement :
nil: [],
it: ⋅,
lambda: λx.A[x],
pair: <a, b>
FDL editor aliases :
fpf-empty
\motimes{} == <[], \mlambda{}x.\mcdot{}>
Date html generated:
2015_07_17-AM-09_16_04
Last ObjectModification:
2012_02_25-AM-11_05_54
Home
Index