 New developments in this field are becoming more and more important and it can safely be called a full-fledged tradition. Nowadays, these developments are deeply related to the links between dialogical logic and constructive type theory, and have even started to make interesting connections with new programs in Philosophy of Mathematics such as Homotopy Theory. Prominent works related to this field are for instance Coquand (1995) and Sterling (2021).