Call-by-value non-determinism in a linear logic type discipline.

Alejandro Díaz-Caro Giulio Manzonetto Michele Pagani

Published in: CoRR (2013)

Keyphrases

linear logic
fixed point
sequent calculus
proof theoretic
information systems
computer science
general purpose
logic programming
proof search
relational databases
data model
image matching
dynamical systems
stereo matching
intuitionistic logic