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

Ryan Tay

  1. A coalgebraic higher-order modal fixed-point logic
    2026/07/21 by Ryan Tay, Harsh Beohar, Charles Grellois
    #cs.LO