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:

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

Last revised on May 13, 2021 at 04:23:27. See the history of this page for a list of all contributions to it.