Login / Signup
Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories.
Andrzej Tarlecki
Rod M. Burstall
Joseph A. Goguen
Published in:
Theor. Comput. Sci. (1991)
Keyphrases
</>
end users
software tools
information retrieval
linear algebra
algebraic structure
efficient computation
formal semantics
precise definition
neural network
data mining
logic programming
semantic information
user friendly