Collaborated with:P.Raulefs
Talks about:abstract (1) retract (1) algebra (1) termin (1) semant (1) type (1) data (1)
Person: Günter Hornung
 DBLP: Hornung:G=uuml=nter
 DBLP: Hornung:G=uuml=nter
Contributed to:
Wrote 1 papers:
- ICALP-1980-HornungR #algebra #data type #semantics
- Terminal Algebra Semantics and Retractions for Abstract Data Types (GH, PR), pp. 310–323.












