Skip to main content
Kurssidor
  • English ‎(en)‎
    English ‎(en)‎ Svenska ‎(sv)‎
You are currently using guest access (Log in)

Course information

  1. Home
  2. Courses
  3. Archive
  4. Archive pages for courses in Mathematics
  5. MM8036_arkiv
  6. Summary

MM8036 - Type Theory

  • Teacher: Peter LeFanu Lumsdaine

Blocks

Skip Navigation

Navigation

  • Home

    • My courses

    • Courses

      • Archive

        • Archive pages for courses in Mathematics

          • Basma4_arkiv

          • MM1003_arkiv

          • MM1005_arkiv

          • MM1008_arkiv

          • MM2001_arkiv

          • MM2002_Arkiv

          • MM2003_arkiv

          • MM2004_arkiv

          • MM3001_arkiv

          • MM4001_arkiv

          • MM5010_arkiv

          • MM8036_arkiv

        • Archive pages for courses in Mathematical Statistics

        • Archive pages for courses in Computer Science &amp...

      • Mathematics Spring 26

      • Mathematics Fall 26

      • Mathematical Statistics Spring 26

      • Mathematical Statistics Fall 26

      • Computer Science & Scientific computing Spring...

      • Computer Science & Scientific computing Fall 26

      • Summer courses ST26

      • Degree Project

      • Bachelor programs

      • Master's programmes

      • Basåret

      • Doktorandkurser läsåret 25/26

      • Previously given courses

      • Studentinflytande och karriär

Supplementary blocks

Contact

General study administrative issues
studentexpedition@math.su.se
Albano house 1, floor 3, zone D

Admissions and study guidance
Student counsellor: su.se/math/studentkontakt

Questions regarding course pages
kurssidor@math.su.se

You are currently using guest access (Log in)
MM8036_arkiv
  • English ‎(en)‎
    • English ‎(en)‎
    • Svenska ‎(sv)‎
Data retention summary