Datapoint Araki / Imperative-Hortative Systems

Language:Araki
Feature:Imperative-Hortative Systems by Johan van der Auwera and Nina Dobrushina and Valentin Goussev
Value:Maximal system

References