Electronic Notes in Theoretical Computer Science, 1571-0661

Journal

Publications

  1. 2005
  2. Published

    Living with paradoxes

    Manfred Kerber, 1 Mar 2005, In : Electronic Notes in Theoretical Computer Science. 123, p. 151-163 13 p.

    Research output: Contribution to journalArticle

  3. 2004
  4. Published

    Synthetic topology of data types and classical spaces

    Martin Escardo, 1 Jan 2004, In : Electronic Notes in Theoretical Computer Science. 87, p. 21-156 136 p.

    Research output: Contribution to journalArticle

Previous 1 2 Next