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

Lucius Gregory Meredith

  1. Policy as Types
    2013/07/30 by Lucius G Meredith, Lucius Gregory Meredith, Meredith, Lucius G +4 · 1 voice
    Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.CR #cs.LO