<b>Hybrid Type Theory: A Quartet in Four Movements</b><br>DOI:10.5007/1808-1711.2011v15n2p225 | Publicación