Call-by-Value Non-determinism in a Linear Logic Type Discipline.

Alejandro Díaz-Caro Giulio Manzonetto Michele Pagani

Published in: LFCS (2013)

Keyphrases

linear logic
fixed point
logic programming
proof theoretic
data model
software engineering
higher order
inference rules