Login / Signup
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