Conferencia La Correspondencia Curry-Howard como semántica de la Lógica Intuicionista 10 de mayo | 2025 Lugar: Aula 456 FCE-UBA Expositor | Miguel Alvarez Lisboa (FFyL-UBA, BA-Logic Group, IIF-SADAF). Resumen La
Conferencia La Correspondencia Curry-Howard como semántica de la Lógica Intuicionista 10 de mayo | 2025 Lugar: Aula 456 FCE-UBA Expositor | Miguel Alvarez Lisboa (FFyL-UBA, BA-Logic Group, IIF-SADAF). Resumen La
Seminario El concepto de modelo en ciencias: diferentes perspectivas 11 de Abril | 2025 15 h Lugar: Aula 456 FCE-UBA A cargo de Javier Legris y Nora Schwartz. Resumen Durante