Labels from Reductions: Towards a General Theory

14 years 5 months ago

We consider open terms and parametric rules in the context of the systematic derivation of labelled transitions from reduction systems.

Bartek Klin, Vladimiro Sassone, Pawel Sobocinski

CALCO 2005 | Labelled Transitions | Parametric Rules | Systematic Derivation |

claim paper

Added	26 Jun 2010
Updated	26 Jun 2010
Type	Conference
Year	2005
Where	CALCO
Authors	Bartek Klin, Vladimiro Sassone, Pawel Sobocinski

Comments (0)