1. Home
  2. Science
  3. Mathematics
  4. A Non Functional Calculus: Linear Logic and Concurrency (2000)

Science · Mathematics

A Non Functional Calculus: Linear Logic and Concurrency (2000)

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

About A Non Functional Calculus: Linear Logic and Concurrency (2000)

A Non Functional Calculus: Linear Logic and Concurrency (2000)- (CiteSeer) This paper proposes the *-calculus as an approach that unifies Abramsky's proofs-as-processes approach with Boudol and Berry's Chemical Abstract Machine approach.

Tags

Canada

Where it sits

Science Mathematics

More in Mathematics

See all →