Skip to main content
DL 1
  • Home
  • Calendar
  • Support
    User support GDPR
  • More
English ‎(en)‎
Русский ‎(ru)‎ Čeština ‎(cs)‎ Deutsch ‎(de)‎ English ‎(en)‎ Français ‎(fr)‎
You are currently using guest access
Log in
DL 1
Home Calendar Support Collapse Expand
User support GDPR
Expand all Collapse all
  1. Philosophy of set theory and mathematics
  2. Category theory, type theory, and homotopy type theory
  3. Intuitionistic Type Theory (Homotopy T. Theory, sec 7.2.)

Intuitionistic Type Theory (Homotopy T. Theory, sec 7.2.)

Completion requirements
Click on Intuitionistic Type Theory (Homotopy T. Theory, sec 7.2.) to open the resource.
◄ Type theory
Wadler: Propositions as Types ►
Contact site support
You are currently using guest access (Log in)
Get the mobile app
Powered by Moodle