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

propositions as types, proofs as programs, computational trinitarianism

A subset that is computably defined.

- Zvonko Iljazovic,
*Compact manifolds with computable boundaries*, LMCS 9 (4:19) 2013 (arXiv:1310.7911)

Created on March 2, 2014 at 03:14:32. See the history of this page for a list of all contributions to it.