Linear Logic and Interference Control.

Peter W. O'Hearn

Published in: Category Theory and Computer Science (1991)

Keyphrases

linear logic
control system
fixed point
multipath
probability distribution
object oriented
logic programming
cut elimination