%0 Journal Article %1 journals/corr/KrausECA16 %A Kraus, Nicolai %A Escardó, Martín %A Coquand, Thierry %A Altenkirch, Thorsten %D 2017 %J Logical Methods in Computer Science %K %N 1 %T Notions of Anonymous Existence in Martin-Löf Type Theory. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs13.html#KrausECA16 %V 13

@article{journals/corr/KrausECA16, added-at = {2023-12-13T03:58:44.000+0100}, author = {Kraus, Nicolai and Escardó, Martín and Coquand, Thierry and Altenkirch, Thorsten}, biburl = {https://www.bibsonomy.org/bibtex/2f92b4d742770e35cbf51c5b6bca1cd22/admin}, ee = {http://arxiv.org/abs/1610.03346}, interhash = {90af19a61ead15409c2dbd3fa67d9c0c}, intrahash = {f92b4d742770e35cbf51c5b6bca1cd22}, journal = {Logical Methods in Computer Science}, keywords = {}, number = 1, timestamp = {2023-12-13T03:58:44.000+0100}, title = {Notions of Anonymous Existence in Martin-Löf Type Theory.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs13.html#KrausECA16}, volume = 13, year = 2017 }