Login / Signup

Categorical Modelling of Structural Operational Rules: Case Studies.

Daniele Turi
Published in: Category Theory and Computer Science (1997)
Keyphrases