complexity theory

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

propositions as types, proofs as programs, computational trinitarianism

- Wikipedia,
*Computational complexity theory*

Discussion of complexity classes via linear logic includes

- Pierre Boudes, Damiano Mazza, Lorenzo Tortora de Falco,
*An Abstract Approach to Stratification in Linear Logic*(arXiv:1206.6504)

Last revised on August 19, 2018 at 01:24:41. See the history of this page for a list of all contributions to it.