Nuprl Definition : csm-adjoin

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



Definitions occuring in Statement :  csm-ap: (s)x apply: a lambda: λx.A[x] pair: <a, b>
Definitions occuring in definition :  lambda: λx.A[x] pair: <a, b> csm-ap: (s)x apply: 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