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

Grathwohl, Hans Bugge

  1. Guarded Dependent Type Theory with Coinductive Types
    2016/01/07 by Bizjak, Aleš, Grathwohl, Hans Bugge, Clouston, Ranald +2 · 2 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)