[Haskell-cafe] Equational Reasoning goes wrong

J.N. Oliveira jno at di.uminho.pt
Mon Jul 23 09:46:51 EDT 2007

Janis Voigtlaender wrote:

> (....)
> http://portal.acm.org/citation.cfm?doid=227699.227716

This paper cites works by L. Kott, but not his PhD thesis "Des 
substitutions dans les systemes d'equations algebriques sur le magma" 
(Univ. Paris VII, 1979) which is (as far as I can remember) among the 
earliest efforts to characterize fixpoint stability with respect to 

J. Oliveira

More information about the Haskell-Cafe mailing list