Title: Applications of Linear Logic to Computation (1993)
Description: Survey article by Vladimir Alexiev providing an overview of existing applications of Linear Logic to issues of computation. Discusses implications of the theory in several fields of theoretical computer science, such as functional programming, and the correct treatment of negation in logic programming.