Posts tagged
talk
Proof Theory Impressionism: Blurring the Curry-Howard Line [
dsp-0030
]
Type Theory for The Working Rustacean [
dsp-0033
]
RSA mathematics deep-dive talk [
dsp-5Q3M
]