Nuprl Definition : last-solution
last-solution(es;P;d) == λe.case TERMOF{last-event:o, 1:l, i:l} es e d of inl(x) => inr ⋅ | inr(p) => inl (fst(p))
Definitions occuring in Statement :
it: ⋅,
pi1: fst(t),
apply: f a,
lambda: λx.A[x],
decide: case b of inl(x) => s[x] | inr(y) => t[y],
inr: inr x ,
inl: inl x
FDL editor aliases :
last-solution
last-solution
Latex:
last-solution(es;P;d) ==
\mlambda{}e.case TERMOF\{last-event:o, 1:l, i:l\} es e d of inl(x) => inr \mcdot{} | inr(p) => inl (fst(p))
Date html generated:
2016_05_16-AM-09_50_43
Last ObjectModification:
2013_03_27-AM-11_55_18
Theory : new!event-ordering
Home
Index