search

RChain-Collaborative-Learning / Introduction-to-the-Design-of-Computational-Calculi

8 stars 2 forks source link

Jake Exercise 01 - pi calc grammar in kframework #4

Open Jake-Gillberg opened 6 years ago

Jake-Gillberg commented 6 years ago

Define the grammar of pi calculus in KFramework