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
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.