GitHub repository: HyperGross/pi-calculus-and-logic
Primary language: Haskell
Created: 2018-05-24T23:34:57Z
Description: Classic pi calculus + additional logic terms