Théorie des types logiques et analyse non-standard

  • Laurent VANDERPUTTEN

    Student thesis: Master typesMaster in Mathematics

    Abstract

    Date of AwardJun 1995
    Original languageFrench
    Awarding Institution
    • University of Namur
    SupervisorJacques Mersch (Supervisor)

    Cite this

    '