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.