Nuprl Definition : isect-family

⋂a:A. F[a] ==  λp.⋂a:A. (F[a] p)


Definitions occuring in Statement :  apply: f a,  lambda: λx.A[x],  isect: ⋂x:A. B[x]
Definitions occuring in definition :  lambda: λx.A[x],  isect: ⋂x:A. B[x],  apply: f a
FDL editor aliases :  isect-family
Latex:
\mcap{}a:A.  F[a]  ==    \mlambda{}p.\mcap{}a:A.  (F[a]  p)


Date html generated: 2016_05_14-AM-06_12_04
Last ObjectModification: 2015_09_22-PM-05_46_58

Theory : co-recursion


Home Index