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

Corbyn, Nathan

  1. Frex: dependently-typed algebraic simplification
    2023/06/27 by Guillaume Allais, Allais, Guillaume, Edwin Brady +7 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Engineering Research #Symbolic Computation (cs.SC)