vix.ing · top · new · best · stats · spec

Lorenzo Tortora de Falco

  1. Connectivity at the crossroad of intuitionistic and classical polarizations in linear logic
    2026/07/22 by Raffaele Di Donna, Giulio Guerrieri, Lorenzo Tortora de Falco
    #cs.LO