%0 Conference Paper %1 journals/corr/abs-1202-2923 %A Sjöberg, Vilhelm %A Casinghino, Chris %A Ahn, Ki Yung %A Collins, Nathan %A III, Harley D. Eades %A Fu, Peng %A Kimmell, Garrin %A Sheard, Tim %A Stump, Aaron %A Weirich, Stephanie %B MSFP %D 2012 %E Chapman, James %E Levy, Paul Blain %K %P 112-162 %T Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems %U http://dblp.uni-trier.de/db/series/eptcs/eptcs76.html#abs-1202-2923 %V 76

@inproceedings{journals/corr/abs-1202-2923, added-at = {2023-12-14T15:00:56.000+0100}, author = {Sjöberg, Vilhelm and Casinghino, Chris and Ahn, Ki Yung and Collins, Nathan and III, Harley D. Eades and Fu, Peng and Kimmell, Garrin and Sheard, Tim and Stump, Aaron and Weirich, Stephanie}, biburl = {https://www.bibsonomy.org/bibtex/2de186ed8314438a44818fcebbeeec284/admin}, booktitle = {MSFP}, crossref = {journals/corr/abs-1202-2407}, editor = {Chapman, James and Levy, Paul Blain}, ee = {http://arxiv.org/abs/1202.2923}, interhash = {e624013d00988acd636879a1450903ea}, intrahash = {de186ed8314438a44818fcebbeeec284}, keywords = {}, pages = {112-162}, series = {EPTCS}, timestamp = {2023-12-14T15:00:56.000+0100}, title = {Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs76.html#abs-1202-2923}, volume = 76, year = 2012 }