Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%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
}