Tag: curry-howard

Constructive Mathematics

Constructive mathematics emphasizes mathematical objects that are provably constructible and computable. It…

Bossmind