Nuprl Definition : csm-ap-term

(t)s ==  λI,a. (t I (s)a)


Definitions occuring in Statement :  csm-ap: (s)x,  apply: f a,  lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x],  apply: f a,  csm-ap: (s)x
FDL editor aliases :  csm-ap-term csm-ap-term
Latex:
(t)s  ==    \mlambda{}I,a.  (t  I  (s)a)


Date html generated: 2016_05_18-PM-01_41_10
Last ObjectModification: 2015_10_28-PM-06_25_33

Theory : cubical!type!theory


Home Index