Data Types as Lattices
Dana S. ScottԿատեգորիաներ:
Տարի:
1976
Հրատարակչություն:
SIAM Journal on Computing
Լեզու:
english
Էջեր:
68
Ֆայլ:
PDF, 2.67 MB
IPFS:
,
english, 1976