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

Ehrhard, Thomas

  1. An introduction to Differential Linear Logic: proof-nets, models and antiderivatives
    2016/06/06 by Ehrhard, Thomas · 2 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)