Report - Constructive Mathematics and Functional …coquand/esop.pdfConstructive Mathematics and Functional Programming Constructive Mathematics 1930 Heyting, Kolmogorov, explanation of intuitionistic

Please pass captcha verification before submit form