On the Observational Theory of the CPS-calculus: (Extended Abstract).

Massimo Merro Corrado Biasi

Published in: MFPS (2006)

Keyphrases

extended abstract
computer algebra
theoretical framework
data sets
social networks
theoretical basis
general theory
real world
data mining
information retrieval
website
formal theory