Nuprl Definition : skip-first-class
Skip(X) == λes,e. if first(e) then {} else X es e fi
Definitions occuring in Statement :
es-first: first(e),
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: λx.A[x],
empty-bag: {}
FDL editor aliases :
skip-first-class
Latex:
Skip(X) == \mlambda{}es,e. if first(e) then \{\} else X es e fi
Date html generated:
2016_05_16-PM-11_25_12
Last ObjectModification:
2012_04_11-PM-07_16_17
Theory : event-ordering
Home
Index