A Process Algebraic View of Linear Logic.

Padmanabhan Krishnan Jane Hopkins

Published in: DMTCS (1996)

Keyphrases

linear logic
high level
relational databases
higher order
multi view
machine learning
search space