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

Barroso-Nascimento, Victor

  1. A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
    2025/04/11 by Barroso-Nascimento, Victor, Piotrovskaya, Ekaterina, Pimentel, Elaine · 2 citations
    #03F03 #F.3.2 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)