Results for 'constructivsm'

Order:
  1.  17
    Fundamentals of the CTT Approach.Shahid Rahman & Nicolas Clerbout - unknown
    The paper presents a very brief overview of Per Martin-Löf's Constructive Type Theory (CTT for short). It is thought as handout for a mastersl level seminar? Sicne it is an overview on existing literatures there is no claim on originaliyt here.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark