#

rccs

Here is 1 public repository matching this topic...

CinRC / Exercises-on-CCS-CCSK-and-RCCS

A collection of exercises about CSS and its reversible declensions

operator-algebra ccsk rccs reversible-calculi

Updated Nov 18, 2024
TeX

Improve this page

Add a description, image, and links to the rccs topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the rccs topic, visit your repo's landing page and select "manage topics."