News and Events: Upcoming Events

Please note that this newsitem has been archived, and may contain outdated information or links.

8 April 2022, DutchCATS, Norihiro Yamada

Speaker: Norihiro Yamada
Title: Curry-Howard Isomorphisms without Commuting Conversions
Date: Friday 8 April 2022
Time: 16:00-17:00
Location: Online

In this talk, I present three term calculi in a uniform format that respectively embody classical, intuitionistic and linear logics. These term calculi are equipped with reductions that satisfy subject reduction, confluence and strong normalisation.

An advantage of the term calculi is their simplicity: They dispense with the tangled (commuting) conversions in existing term calculi, where conversions are one of the fundamental problems in proof theory. This simplicity also means the abstraction of my approach that discards the inessential syntactic details. By formulating the computations for the three logics in this abstract level, the present work deepens the computational analyses of the logics.

Please note that this newsitem has been archived, and may contain outdated information or links.