A Concurrent Model for Linear Logic

We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and modal logics, and yields a new type system for process calculi that ensures termination while allowing significantly concurrent behaviours. Then we study how embeddings of intuitionistic and classical logics into linear logic induce typed translations of and

• Type: Journal
• Year: 2006
• Where: ENTCS
• Authors: Emmanuel Beffara
• Keywords: ENTCS 2006, Linear Logic, Modal Logics, Name-passing Process Calculus