Posts tagged type theory

• The Real Numbers, Propositionally [dsp-0016]
• Proof Theory Impressionism: Blurring the Curry-Howard Line [dsp-0030]
• Type Theory for The Working Rustacean [dsp-0033]
• Internal ∞-Categorical Models of Dependent Type Theory [dsp-7Z0O]
• Propositional Resizing [dsp-9M7X]

© dan pittman.
I reserve the right to be wrong. Do with this what you will.