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

Walter Ferrer Santos

  1. Ordered combinatory algebras and realizability
    2014/10/19 by Walter Ferrer Santos, Jonas Frey, Santos, Walter Ferrer +7 · 1 citation
    Mathematics · #FOS: Mathematics #Logic (math.LO) #math.LO