Tracing sharing in an imperative pure calculus.

Paola Giannini Tim Richter Marco Servetto Elena Zucca

Published in: Sci. Comput. Program. (2019)

Keyphrases

information sharing
data sharing
real numbers
decision making
knowledge sharing
algebraic structure
real world
decision trees
expressive power