An Overview of Type Theories

  1. Guallart, N.
Revista:
Axiomathes

ISSN: 1572-8390,  1122-1151

Año de publicación: 2015

Volumen: 25

Número: 1

Páginas: 61-77

Tipo: Artículo

DOI: 10.1007/S10516-014-9260-9 GOOGLE SCHOLAR
Fuente de los datos: Scopus