Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}