Crossmark

An Overview of Type Theories

Crossref DOI link: https://doi.org/10.1007/s10516-014-9260-9

Published Online: 2014-11-15

Published Print: 2015-03

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Guallart, Nino
License Information

Text and Data Mining valid from 2014-11-15

Version of Record valid from 2014-11-15
More Information

Article History

Received: 16 May 2014

Accepted: 7 November 2014

First Online: 15 November 2014