A language for multiplicative-additive linear logic

Details A language for multiplicative-additive linear logic A language for multiplicative-additive linear logic

2004-04-16

arxiv.org/abs/math/0404286v1

Electronic Notes in Theoretical Computer Science 122 (2005) 23-65

Mathematics

Category Theory

16 pages without appendices, 30 with appendices

Scientific paper

A term calculus for the proofs in multiplicative-additive linear logic is introduced and motivated as a programming language for channel based concurrency. The term calculus is proved complete for a semantics in linearly distributive categories with additives. It is also shown that proof equivalence is decidable by showing that the cut elimination rewrites supply a confluent rewriting system modulo equations.

Affiliated with

Also associated with

No associations

Rating

A language for multiplicative-additive linear logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A language for multiplicative-additive linear logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A language for multiplicative-additive linear logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-400374