An Overview of Type Theories

  1. Guallart, N.
Revista:
Axiomathes

ISSN: 1572-8390,  1122-1151

Ano de publicación: 2015

Volume: 25

Número: 1

Páxinas: 61-77

Tipo: Artigo

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