An Overview of Type Theories

  1. Guallart, N.
Zeitschrift:
Axiomathes

ISSN: 1572-8390,  1122-1151

Datum der Publikation: 2015

Ausgabe: 25

Nummer: 1

Seiten: 61-77

Art: Artikel

DOI: 10.1007/S10516-014-9260-9 GOOGLE SCHOLAR
Datenquelle: Scopus