kaxonomy

The Interaction Calculus

The Interaction Calculus (IC) is term rewriting system inspired by the Lambda Calculus (λC), but with some major differences:

1. Vars are affine: they can only occur up to one time.
2. Vars are global: they can occur anywhere in the program.
3. There is a new core primitive: the superposition.

An IC term is defined by the following grammar:

kaxonomy

Keybase proof

I hereby claim:

• I am kaxonomy on github.
• I am kaxon (https://keybase.io/kaxon) on keybase.
• I have a public key ASDw-4R-On82NpLY-zeRepG1EMWgg0Wxshpkz4z49IAKYwo

To claim this, I am signing this object: