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

propositions as types, proofs as programs, computational trinitarianism

- Steven Awodey, Andrej Bauer,
*Sheaf toposes for realizability*(pdf)

Last revised on March 1, 2014 at 03:34:12. See the history of this page for a list of all contributions to it.