A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Linear logic
1987
Theoretical Computer Science
The familiar connective of negation is broken into two operations: linear negation which is the purely negative part of negation and the modality "of course" which has the meaning of a reaffirmation. Following this basic discovery, a completely new approach to the whole area between constructive logics and programmation is initiated.
doi:10.1016/0304-3975(87)90045-4
fatcat:2pz66b65i5fzjaggrqhwyeimki