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

Amorim, Pedro

  1. Universal Semantics for the Stochastic Lambda-Calculus
    2020/11/26 by Amorim, Pedro, Kozen, Dexter, Mardare, Radu +2 · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)