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:
2016_05_17-AM-00_05_38
Last ObjectModification:
2012_02_25-PM-02_10_42
Theory : event-ordering
Home
Index