Summary: 



Erratum in


"Verifying a Semantic fij-Conversion Test for


Martin-L"of Type Theory"


and


"Irrelevance in Type Theory with a


Heterogeneous Equality Judgement"

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universität München

Collections: Computer Technologies and Information Sciences