Nuprl Definition : cut-of
cut(X;f;s) == fst((TERMOF{es-cut-exists:o, 1:l, i:l} es X f s))
Definitions occuring in Statement :
pi1: fst(t),
apply: f a
FDL editor aliases :
cut-of
Latex:
cut(X;f;s) == fst((TERMOF\{es-cut-exists:o, 1:l, i:l\} es X f s))
Date html generated:
2016_05_17-AM-07_31_20
Last ObjectModification:
2012_02_25-PM-02_55_22
Theory : event-ordering
Home
Index