Skip to content

Programs as Transformations of Algebraic Theories (Extended Abstract).

Harald Ganzinger

VenueBGI
Year1981
ProceedingsGI Jahrestagung

Browse the full GI paper archive.