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
]