On 2004-06-10 at 10:39BST Martin Escardo wrote:
> Dear Haskell-list members,
>
> This is to advertise the monograph
>
> Synthetic topology of data types and classical spaces, to appear in
> ENTCS 87, 150pp, three parts, 6+5+2 chapters.
Interesting. But why do you use Int rather than the Intege
Dear Haskell-list members,
This is to advertise the monograph
Synthetic topology of data types and classical spaces, to appear in
ENTCS 87, 150pp, three parts, 6+5+2 chapters.
http://www.cs.bham.ac.uk/~mhe/papers/entcs87.pdf (or .dvi or .ps)
Chapter 3 develops topology in Haskell, without as
