constructivism - contents

**constructive mathematics**, **realizability**, **computability**

propositions as types, proofs as programs, computational trinitarianism

Last revised on March 4, 2014 at 00:29:54. See the history of this page for a list of all contributions to it.