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

Santos, Walter Ferrer

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