An Overview of Type Theories
Crossref DOI link: https://doi.org/10.1007/s10516-014-9260-9
Published Online: 2014-11-15
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Guallart, Nino
Text and Data Mining valid from 2014-11-15