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