Linear Logic and Strong Normalization.

Beniamino Accattoli

Published in: RTA (2013)

Keyphrases

linear logic
fixed point
logical framework
logic programming
desirable properties
proof theoretic
intuitionistic logic
sequent calculus
proof search
database systems
cut elimination
high level
object oriented
natural deduction