Categorías indexadas, tripos y realizabilidad
Octavio Malherbe (Universidad de la República, Uruguay)
Abstract: En esta charla comenzaremos con una introducción a las categorías indexadas para luego adentrarnos con un ejemplo de estas mediante la noción de tripos. Esta herramienta nos permite modelar la lógica de alto orden y nos va permitir trabajar con ciertas abstracciones de la realizabilidad clásica de Krivine denominadas Abstract Krivine Structure (AKS) y ciertas álgebras combinatorias (denominadas full adjunction ordered combinatory algebras). Veremos cómo de una AKS se determina una de estas álgebras y en el otro sentido estas determinan un AKS para que sus tripos sean equivalentes.
Spanishlogic in computer scienceprogramming languages
Audience: researchers in the topic
Series comments: Talks are either in Spanish or English, however they can often be in English upon request.
Organizer: | Alejandro Díaz-Caro* |
*contact for this listing |