A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance

@inproceedings{Abel2009AMT,
  title={A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance},
  author={Andreas Abel and Thierry Coquand and Miguel Pagano},
  booktitle={TLCA},
  year={2009}
}
Highly Cited
This paper has 19 citations. REVIEW CITATIONS