Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}