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

Patrick Baillot

  1. Soft lambda-calculus: a language for polynomial time computation
    2003/12/07 by Patrick Baillot, Baillot, Patrick, Virgile Mogbil +1 · 1 citation
    Computer Science · #Computational Complexity (cs.CC) #F.4 #F.4.1 #F.4.2 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.CC #cs.LO