%0 Journal Article %1 journals/corr/abs-1102-2405 %A Abel, Andreas %A Coquand, Thierry %A Pagano, Miguel %D 2011 %J Logical Methods in Computer Science %K dblp %N 2 %T A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs7.html#abs-1102-2405 %V 7

@article{journals/corr/abs-1102-2405, added-at = {2019-05-14T00:00:00.000+0200}, author = {Abel, Andreas and Coquand, Thierry and Pagano, Miguel}, biburl = {https://www.bibsonomy.org/bibtex/251dae6a0ece17e4ed940a5c2ef464156/dblp}, ee = {http://arxiv.org/abs/1102.2405}, interhash = {852491cfba658a0c3b5a231da71a1bf2}, intrahash = {51dae6a0ece17e4ed940a5c2ef464156}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 2, timestamp = {2019-05-15T11:50:56.000+0200}, title = {A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs7.html#abs-1102-2405}, volume = 7, year = 2011 }