Multiplexor Categories and Models of Soft Linear Logic.

Brian F. Redmond

Published in: LFCS (2007)

Keyphrases

linear logic
artificial intelligence
image segmentation
reinforcement learning
fixed point