Nuprl Definition : cubical-pair

cubical-pair(u;v) ==  λI,a. <u I a, v I a>


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


Date html generated: 2016_05_18-PM-01_55_19
Last ObjectModification: 2015_10_28-PM-06_30_48

Theory : cubical!type!theory


Home Index