Curry-Howard Terms for Linear Logic.

Frank A. Bäuerle David W. Albrecht John N. Crossley John S. Jeavons

Published in: Stud Logica (1998)

Keyphrases

linear logic
fixed point
relational databases
machine learning
expert systems
multi view