Wolfgang Gehrke

Learn More
We present a canonical system for comonads which can be extended to the notion of a computational comonad BG92] where the crucial point is to nd an appropriate representation. These canonical systems are checked with the help of the Larch Prover GG91] exploiting a method by G. Huet Hue90a] to represent typing within an untyped rewriting system. The(More)
This paper shows the expressive power of the functional programming language Standard ML (SML) in the context of computer algebra. It is focused on a special application of the p-adic lifting technique, the Hensel algorithm, that is utilized in a symbolic but also numeric context. This experiment demonstrates that SML provides a suitable frame for the(More)
  • 1