Question on coherence semantics

• To: linear@cs.stanford.edu
• Subject: Question on coherence semantics
• From: Zuber@mathematik.uni-muenchen.d400.de
• Date: 11 Dec 93 17:32:50 Z
• Approved: types@dcs.gla.ac.uk

Can anybody tell me something about applications of the coherent space semantics
of (e.g. classical first order) linear logic? (e.g. independence results for LL)

Wolfgang Zuber

• Prev: State in functional languages
• Next: State in functional languages
• Index(es):
  • Main
  • Thread