Impredicativity

Impredicativity

https://en.wikipedia.org/wiki/Functional_programming

https://en.wikipedia.org/wiki/Rewriting https://en.wikipedia.org/wiki/Type_theory https://en.wikipedia.org/wiki/Realizability https://en.wikipedia.org/wiki/Dependent_type https://en.wikipedia.org/wiki/Calculus_of_constructions https://en.wikipedia.org/wiki/Intuitionistic_type_theory https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence https://en.wikipedia.org/wiki/Brouwer%E2%80%93Heyting%E2%80%93Kolmogorov_interpretation