Just Fast Keying in the Pi Calculus.

Martín Abadi Bruno Blanchet Cédric Fournet

Published in: ESOP (2004)

Keyphrases

algebraic structure
proof procedure
machine learning
information retrieval
relational calculus
database
data sets
artificial intelligence
data structure
hidden markov models
image reconstruction
expressive power
provably correct