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
Latex:
lookup-list-map-type(Key;Value)  ==    (Key  \mtimes{}  Value)  List
Date html generated:
2016_05_17-PM-01_50_33
Last ObjectModification:
2014_09_08-PM-02_37_17
Theory : datatype-signatures
Home
Index