A semantic measure of the execution time in linear logic.

Daniel de Carvalho Michele Pagani Lorenzo Tortora de Falco

Published in: Theor. Comput. Sci. (2011)

Keyphrases

linear logic
cut elimination
logical framework
fixed point
semantic information
sequent calculus
similarity measure
semantic web
desirable properties
natural language
proof search
proof theoretic
logic programs