Nuprl Definition : csm-adjoin

(s;u) ==  λI,a. <(s)a, u I a>


Definitions occuring in Statement :  csm-ap: (s)x,  apply: f a,  lambda: λx.A[x],  pair: <a, b>
Definitions occuring in definition :  lambda: λx.A[x],  pair: <a, b>,  csm-ap: (s)x,  apply: f a
FDL editor aliases :  csm-adjoin csm-adjoin
Latex:
(s;u)  ==    \mlambda{}I,a.  <(s)a,  u  I  a>


Date html generated: 2016_05_18-PM-01_43_09
Last ObjectModification: 2015_10_28-PM-06_26_46

Theory : cubical!type!theory


Home Index