Linear Logic and Interference Control

[1]  Andrea Asperti.  Categorical topics in computer science , 1990 .

[2]  M. Nivat.  Fiftieth volume of theoretical computer science , 1988 .

[3]  Richard C. Holt,et al.  The Turing programming language , 1988, CACM.

[4]  John C. Reynolds,et al.  Syntactic Control of Inference, Part 2 , 1989, ICALP.

[5]  J. Girard,et al.  Proofs and types , 1989 .

[6]  Per Brinch Hansen,et al.  Structured multiprogramming , 1972, CACM.

[7]  John C. Reynolds,et al.  Syntactic control of interference , 1978, POPL.

[8]  Philip Wadler,et al.  Linear Types can Change the World! , 1990, Programming Concepts and Methods.

[9]  Michael Barr,et al.  *-Autonomous categories and linear logic , 1991, Mathematical Structures in Computer Science.

[10]  Mariangiola Dezani-Ciancaglini,et al.  A new type assignment for λ-terms , 1978, Arch. Math. Log..

[11]  Jean-Yves Girard,et al.  Linear Logic , 1987, Theor. Comput. Sci..

[12]  Richard C. Holt,et al.  The Turing Programming Language: Design and Definition , 1987 .

[13]  David May,et al.  A Tutorial Introduction To Occam Programming , 1987 .

[14]  C. A. R. Hoare,et al.  Procedures and parameters: An axiomatic approach , 1971, Symposium on Semantics of Algorithmic Languages.

[15]  Joannes M. Lucassen.  Types and Effects Towards the Integration of Functional and Imperative Programming. , 1987 .

[16]  Paul Hudak,et al.  Single-threaded polymorphic lambda calculus , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.

[17]  Yves Lafont.  The Linear Abstract Machine (Corrigenda) , 1988, Theor. Comput. Sci..

[18]  S. Maclane,et al.  Categories for the Working Mathematician , 1971 .

[19]  Peter W. O'Hearn.  Semantics of noninterference: a natural approach , 1992 .

[20]  David K. Gifford,et al.  Integrating functional and imperative programming , 1986, LFP '86.

[21]  Philip Wadler.  Is there a use for linear logic , 1991 .

[22]  Butler W. Lampson,et al.  Notes on the design of Euclid , 1977 .

[23]  Jean-Yves Girard,et al.  Linear Logic and Lazy Computation , 1987, TAPSOFT, Vol.2.

[24]  S. Lane.  Categories for the Working Mathematician , 1971 .