Henri Lombardi

  1. Title:
    Towards a constructive theory of O-minimal structures

    Speaker:

    Link:

  2. Title:
    Geometric theories for constructive algebra

    Speaker:

    Link: