Nuprl Definition : C_TYPE_eq
C_TYPE_eq(a;b) == C_TYPE_eq_fun(a) b
Definitions occuring in Statement :
C_TYPE_eq_fun: C_TYPE_eq_fun(a),
apply: f a
FDL editor aliases :
C_TYPE_eq
Latex:
C\_TYPE\_eq(a;b) == C\_TYPE\_eq\_fun(a) b
Date html generated:
2016_05_16-AM-08_45_48
Last ObjectModification:
2014_06_08-PM-08_06_00
Theory : C-semantics
Home
Index