Este libro de texto explica los principios básicos de la teoría categórica de tipos y las técnicas utilizadas para derivar la semántica categórica para teorías de tipos específicas. Introduce al lector a los retículos y dominios ordenados de la teoría de conjuntos y este material proporciona muchos ejemplos para una introducción a la teoría de categorías. que cubre categorías funtores transformaciones naturales el lema de Yoneda categorías cerradas cartesianas limita adjunciones y categorías indexadas. Se consideran en detalle cuatro tipos de sistemas formales, a saber, la teoría de tipos funcionales polimórficos funcionales algebraicos y polimórficos de orden superior. Para cada uno de estos se deriva la semántica categórica y los resultados sobre los sistemas de tipos se prueban categóricamente. También se consideran cuestiones de solidez e integridad. Dirigido a estudiantes avanzados y graduados principiantes, este libro será de interés para los científicos informáticos teóricos, lógicos y matemáticos especializados en teoría de categorías. Idioma: Inglés