HoTT maquette en info

    Research output: Other contributionOther research output

    Original languageEnglish
    PublisherTechnische Universiteit Eindhoven
    Publication statusPublished - 2011

    Cite this

    Lichtenberg, J. J. N. (2011). HoTT maquette en info. Technische Universiteit Eindhoven.