Nuprl Definition : mtype
mtype(L;i) == apply_alist(AtomDeq;eager-map(λp.let i,x = p in <i, mrec(L;i)>;L);i)
Definitions occuring in Statement :
mrec: mrec(L;i),
apply_alist: apply_alist(eq;L;x),
eager-map: eager-map(f;as),
atom-deq: AtomDeq,
lambda: λx.A[x],
spread: spread def,
pair: <a, b>
Definitions occuring in definition :
apply_alist: apply_alist(eq;L;x),
atom-deq: AtomDeq,
eager-map: eager-map(f;as),
lambda: λx.A[x],
spread: spread def,
pair: <a, b>,
mrec: mrec(L;i)
FDL editor aliases :
mtype
Latex:
mtype(L;i) == apply\_alist(AtomDeq;eager-map(\mlambda{}p.let i,x = p in <i, mrec(L;i)>L);i)
Date html generated:
2019_06_20-PM-02_14_50
Last ObjectModification:
2019_02_28-PM-00_14_47
Theory : tuples
Home
Index