%0 Journal Article %1 journals/mscs/AnnenkovCKS23 %A Annenkov, Danil %A Capriotti, Paolo %A Kraus, Nicolai %A Sattler, Christian %D 2023 %J Math. Struct. Comput. Sci. %K dblp %N 8 %P 688-743 %T Two-level type theory and applications. %U http://dblp.uni-trier.de/db/journals/mscs/mscs33.html#AnnenkovCKS23 %V 33

@article{journals/mscs/AnnenkovCKS23, added-at = {2024-03-22T00:00:00.000+0100}, author = {Annenkov, Danil and Capriotti, Paolo and Kraus, Nicolai and Sattler, Christian}, biburl = {https://www.bibsonomy.org/bibtex/2d2e4dff65d920bf068123023c937dfe4/dblp}, ee = {https://doi.org/10.1017/s0960129523000130}, interhash = {7c7e8f5886e41a8d9c842be4918a9b18}, intrahash = {d2e4dff65d920bf068123023c937dfe4}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 8, pages = {688-743}, timestamp = {2024-04-08T13:17:16.000+0200}, title = {Two-level type theory and applications.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs33.html#AnnenkovCKS23}, volume = 33, year = 2023 }