Nuprl Definition : data

data(T) == x:Id × (T x)

Definitions occuring in Statement : Id: Id, apply: f a, product: x:A × B[x]
FDL editor aliases : data data

Latex:
data(T) == x:Id \mtimes{} (T x) Date html generated: 2016_05_16-AM-09_59_16 Last ObjectModification: 2013_03_25-PM-01_52_56 Theory : new!event-ordering Home Index