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