Nuprl Definition : lookup-list-map-type

lookup-list-map-type(Key;Value) == (Key × Value) List

Definitions occuring in Statement : list: T List, product: x:A × B[x]
FDL editor aliases : lookup-list-map-type
lookup-list-map-type(Key;Value) == (Key \mtimes{} Value) List Date html generated: 2015_07_17-AM-08_23_41 Last ObjectModification: 2014_09_08-PM-02_37_17 Home Index