Article by Thomas Jensen, who draws a connection between program analysis and linear logic.
keywords: wadern, schloss, lzi, informatik, forschung, dagstuhl
A discussion of how linear logic relates to computability logic - the game-sematically introduced logic of computational resources and interactive computation.
keywords: constructive
Article by V. Danos, J.-B. Joinet and H. Schellinx outlining how linear logic can function as a `mark-up logic' allowing the embedding of a large class of logics in a manner that respects their underlying proof semantics (cf. Nuel Belnap's Display Logic).
keywords: vincent, mathematisch, jean-baptiste, instituut, harold, citeseerx
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.
keywords: university, ualberta, tr93, technical, submitted, report, pub, ps, overview4, oolog
