Travelled to:1 × Germany
Collaborated with:∅
Talks about:problem (1) concept (1) comonad (1) categor (1) rewrit (1) exampl (1) comput (1) appli (1)
Person: Wolfgang Gehrke
DBLP: Gehrke:Wolfgang
Contributed to:
Wrote 1 papers:
- RTA-1995-Gehrke #category theory #concept #monad #problem
- Problems in Rewriting Applied to Categorical Concepts by the Example of a Computational Comonad (WG), pp. 210–224.












