The arrow calculus.

Sam Lindley Philip Wadler Jeremy Yallop

Published in: J. Funct. Program. (2010)

Keyphrases

automated deduction
case study
data mining
database systems
bayesian networks
multi agent systems
special case
formal language
relational calculus
algebraic structure
provably correct
computer algebra
timed automata