Quantitative Domains, Groupoids and Linear Logic.

Published in: Category Theory and Computer Science (1989)

Keyphrases

linear logic
logic programming
sequent calculus
proof theoretic
logical framework
proof search
desirable properties
fixed point
cut elimination
intuitionistic logic
natural language
higher order