The Justification of Identity Elimination in Martin-Löf’s Type Theory
Crossref DOI link: https://doi.org/10.1007/s11245-017-9509-1
Published Online: 2017-09-02
Published Print: 2019-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Klev, Ansten
Funding for this research was provided by:
Grantová Agentura Ceské Republiky (17-18344Y)
Text and Data Mining valid from 2017-09-02
Article History
First Online: 2 September 2017