Nuprl Definition : concrete-interface
CI == dd:DeclSet × T:Type × (es-information-type(dd) ⟶ (T + Top))
Definitions occuring in Statement :
top: Top,
function: x:A ⟶ B[x],
product: x:A × B[x],
union: left + right,
universe: Type
FDL editor aliases :
concrete-interface
concrete-interface
Latex:
CI == dd:DeclSet \mtimes{} T:Type \mtimes{} (es-information-type(dd) {}\mrightarrow{} (T + Top))
Date html generated:
2016_05_16-AM-10_04_55
Last ObjectModification:
2013_03_25-PM-01_54_05
Theory : new!event-ordering
Home
Index