The Justification of Identity Elimination in Martin-Löf’s Type Theory
Sign Up to like & getrecommendations! Published in 2017 at "Topoi"
DOI: 10.1007/s11245-017-9509-1
Abstract: On the basis of Martin-Löf’s meaning explanations for his type theory a detailed justification is offered of the rule of identity elimination. Brief discussions are thereafter offered of how the univalence axiom fares with respect… read more here.
Keywords: theory; type theory; justification; martin ... See more keywords