Espacios de tipos de fragmentos enumerables de lw1w (2009)
Matemático