Session Types as Intuitionistic Linear Propositions.

Luís Caires Frank Pfenning

Published in: CONCUR (2010)

Keyphrases

pattern recognition
transfer function
linear systems
social networks
bayesian networks
evolutionary algorithm
fuzzy set theory
linear constraints
linear complexity