%0 Journal Article %1 journals/corr/AnnenkovCK17 %A Annenkov, Danil %A Capriotti, Paolo %A Kraus, Nicolai %D 2017 %J CoRR %K %T Two-Level Type Theory and Applications. %U http://dblp.uni-trier.de/db/journals/corr/corr1705.html#AnnenkovCK17 %V abs/1705.03307

@article{journals/corr/AnnenkovCK17, added-at = {2023-12-13T02:27:25.000+0100}, author = {Annenkov, Danil and Capriotti, Paolo and Kraus, Nicolai}, biburl = {https://www.bibsonomy.org/bibtex/2aa9d7c522665aa80cd9f00916babd7d4/admin}, ee = {http://arxiv.org/abs/1705.03307}, interhash = {7f71b0cca60922d7d646d254ecca2053}, intrahash = {aa9d7c522665aa80cd9f00916babd7d4}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T02:27:25.000+0100}, title = {Two-Level Type Theory and Applications.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1705.html#AnnenkovCK17}, volume = {abs/1705.03307}, year = 2017 }