# Impredicativity

[Impredicativity](https://en.wikipedia.org/wiki/Impredicativity)

[https://en.wikipedia.org/wiki/Functional\_programming](https://en.wikipedia.org/wiki/Functional_programming)

[https://en.wikipedia.org/wiki/Rewriting](https://en.wikipedia.org/wiki/Rewriting) [https://en.wikipedia.org/wiki/Type\_theory](https://en.wikipedia.org/wiki/Type_theory) [https://en.wikipedia.org/wiki/Realizability](https://en.wikipedia.org/wiki/Realizability) [https://en.wikipedia.org/wiki/Dependent\_type](https://en.wikipedia.org/wiki/Dependent_type) [https://en.wikipedia.org/wiki/Calculus\_of\_constructions](https://en.wikipedia.org/wiki/Calculus_of_constructions) [https://en.wikipedia.org/wiki/Intuitionistic\_type\_theory](https://en.wikipedia.org/wiki/Intuitionistic_type_theory) [https://en.wikipedia.org/wiki/Curry%E2%80%93Howard\_correspondence](https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence) [https://en.wikipedia.org/wiki/Brouwer%E2%80%93Heyting%E2%80%93Kolmogorov\_interpretation](https://en.wikipedia.org/wiki/Brouwer%E2%80%93Heyting%E2%80%93Kolmogorov_interpretation)
