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

propositions as types, proofs as programs, computational trinitarianism

(…)

See also:

- Wikipedia,
*Parallel computing*

Last revised on February 17, 2023 at 08:45:37. See the history of this page for a list of all contributions to it.