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

Giulio Guerrieri

  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