[Prev][Next][Index][Thread]

Question on coherence semantics



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