Corecursion and Non-divergence in Session-Typed Processes.

Bernardo Toninho Luís Caires Frank Pfenning

Published in: TGC (2014)

Keyphrases

higher order
multiscale
machine learning
pairwise
process model
communication channels
computer vision
support systems
stochastic processes
lambda calculus