LTT 2026
Workshop on Logics and Type Theory
Satellite event of ETAPS 2026 - Torino 12 April
Program
Festschrift Papers
This workshop celebrates the contributions of Stefano Berardi to the fields of logic and type theory.
