Crossmark

Many-Sorted Equivalence of Shiny and Strongly Polite Theories

Crossref DOI link: https://doi.org/10.1007/s10817-017-9411-y

Published Online: 2017-03-11

Published Print: 2018-02

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

Authors

Casal, Filipe

Rasga, João http://orcid.org/0000-0002-1239-8496
Funding

Funding for this research was provided by:

Fundação para a Ciência e a Tecnologia (PT) (UID/MAT/04561/2013)

Fundação para a Ciência e a Tecnologia (SRFH/BD/52243/2013)
License Information

License valid from 2017-03-11