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

Castellan, Simon

  1. Categories with Families: Unityped, Simply Typed, and Dependently Typed
    2019/04/01 by Castellan, Simon, Clairambault, Pierre, Dybjer, Peter · 2 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)