Title :: The challenge of reduction preservation in the Russell-Prawitz translation
Speaker :: Gilda Ferreira (Universidade Aberta and CEMS.UL/CMAFcIO)
Date :: Friday, 15 November 2024, 14:30
Venue :: Chemistry amphithetre (Ed. 6)
online: https://videoconf-colibri.zoom.us/j/93344876599?pwd=ejkrZ3FpYkh0NE1YV3NCdGFMOGw3QT09