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

Santamaria, Alessio

  1. Bisimulation as a Logical Relation
    2020/03/30 by Hermida, Claudio, Reddy, Uday, Robinson, Edmund +1 · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
  2. Logical Predicates in Higher-Order Mathematical Operational Semantics
    2024/01/11 by Goncharov, Sergey, Santamaria, Alessio, Schröder, Lutz +2 · 3 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)