Cartesian Closed Categories of Enumerations for Effective Type Structures (Part I & II).

Giuseppe Longo Eugenio Moggi

Published in: Semantics of Data Types (1984)

Keyphrases

real world
artificial intelligence
complex structures
real time
information retrieval
information systems
three dimensional
probabilistic model
computationally efficient
hierarchical structures