Showing changes from revision #2 to #3:
Added | Removed | Changed
constructive mathematics, realizability, computability
propositions as types, proofs as programs, computational trinitarianism
Last revised on March 1, 2014 at 03:34:12. See the history of this page for a list of all contributions to it.