Linear logic and interference control

This publication has 14 references indexed in Scilit:

• Is there a use for linear logic?
  Published by Association for Computing Machinery (ACM) ,1991
• The linear abstract machine
  Theoretical Computer Science, 1988
• Linear logic
  Theoretical Computer Science, 1987
• Integrating functional and imperative programming
  Published by Association for Computing Machinery (ACM) ,1986
• A new type assignment for λ-terms
  Archive for Mathematical Logic, 1978
• Syntactic control of interference
  Published by Association for Computing Machinery (ACM) ,1978
• Notes on the design of Euclid
  ACM SIGPLAN Notices, 1977
• Structured multiprogramming
  Communications of the ACM, 1972
• Categories for the Working Mathematician
  Published by Springer Nature ,1971
• Procedures and parameters: An axiomatic approach
  Lecture Notes in Mathematics, 1971