@sylvainschmitz#logic #theoreticalCS and #QuasiOrders are awesome !
Happy to see you around !
BTW I will be at IRIF to give a talk at PPS the 23th of Nov.
#logic #theoreticalCS #QuasiOrders