Skip to content
<awesome-gh-repos>
vic

brunoczim/typed-symmetric-interaction

Typed abstract calculi, typed version of https://github.com/maiavictor/symmetric-interaction-calculus
Source code at GitHub https://github.com/brunoczim/typed-symmetric-interaction
brunoczim/typed-symmetric-interaction.json
{
  "createdAt": "2018-09-08T16:29:01Z",
  "defaultBranch": "master",
  "description": "Typed abstract calculi, typed version of https://github.com/maiavictor/symmetric-interaction-calculus",
  "fullName": "brunoczim/typed-symmetric-interaction",
  "homepage": "",
  "language": null,
  "name": "typed-symmetric-interaction",
  "pushedAt": "2018-09-22T00:20:57Z",
  "stargazersCount": 8,
  "topics": [],
  "updatedAt": "2023-02-16T19:29:09Z",
  "url": "https://github.com/brunoczim/typed-symmetric-interaction"
}

typed-symmtric-interaction-calculi

Section titled “typed-symmtric-interaction-calculi”

Typed symmetric interaction calculi, typed versions of https://github.com/maiavictor/symmetric-interaction-calculus

simply typed

Section titled “simply typed”

[simply-typed-symicalc.md]!(simply-typed-symicalc.md)