Irrelevance in Type Theory with a Heterogeneous Equality Judgement.

Andreas Abel

Browse the full FOSSACS paper archive.