Nuprl Definition : rec-combined-class-0
rec-combined-class-0(b) == λw.b|λn.[][n],(self)'|
Definitions occuring in Statement :
rec-combined-class: f|X,(self)'|,
select: L[n],
nil: [],
lambda: λx.A[x]
FDL editor aliases :
rec-combined-class-0
Latex:
rec-combined-class-0(b) == \mlambda{}w.b|\mlambda{}n.[][n],(self)'|
Date html generated:
2015_07_21-PM-02_52_22
Last ObjectModification:
2012_02_25-PM-02_10_42
Home
Index