Descripción
Seminario remoto con el objetivo de reunir a la comunidad de América Latina alrededor de la discusión sobre fundamentos de lenguajes de programación y métodos formales. Esperamos realizarlo mensualmente.
Organiza Nicolás Alberto Monzón y Tomás Vallejos Parada.
Más información
Anunciamos nuevas charlas por la lista de difusión de FunLeP y por nuestro canal dedicado de Zulip. Mantenemos un calendario digital al que puede subscribirse en el siguiente link.
Próximos seminarios
Malena Ivnisky, (link seminario)
Linealidad sintáctica e hiperdoctrinas Lineales para Lógica Lineal intuicionista con cuantificación de segundo orden
30 de septiembre de 2026
Argentina: 13:00:00
Chile: 13:00:00
Uruguay: 13:00:00
Presentamos un cálculo lambda lineal polimórfico como lenguaje de demostración para la lógica lineal intuicionista de segundo orden. El cálculo se extiende con multiplicación por escalares y suma de términos, lo que permite demostrar un resultado de linealidad a nivel sintáctico. Esta linealidad sintáctica establece una correspondencia entre los términos y las funciones lineales.
Desarrollamos una semántica denotacional basada en hiperdoctrinas valuadas en categorías Lineales enriquecidas sobre semimódulos.