Metadata
Author: WikiMatrix
Data
English[en]
These categories are particularly important in mathematical logic and the theory of programming, in that their internal language is the simply typed lambda calculus.
Spanish[es]
Son especialmente importantes importantes en lógica matemática y en la teoría de los lenguajes de programación, en tanto que el lenguaje interno de las categorías cartesianas cerradas es el cálculo lambda simplemente tipado.