Report copyright - A review of the Curry-Howard-De Bruijn formulas-as-types ...herman/slidesMLNL2009.pdf · I Realism: But mathematics also has a relation with the real world! Also in nitary mathematics!
Please pass captcha verification before submit form