%0 Journal Article %1 journals/corr/abs-2307-09145 %A Atkey, Robert %D 2023 %J CoRR %K dblp %T Polynomial Time and Dependent Types. %U http://dblp.uni-trier.de/db/journals/corr/corr2307.html#abs-2307-09145 %V abs/2307.09145

@article{journals/corr/abs-2307-09145, added-at = {2023-07-25T00:00:00.000+0200}, author = {Atkey, Robert}, biburl = {https://www.bibsonomy.org/bibtex/272d4155caa588ff150623743f799ab0c/dblp}, ee = {https://doi.org/10.48550/arXiv.2307.09145}, interhash = {3b2d2d7730b9c0fcaccdc2fbff3bc326}, intrahash = {72d4155caa588ff150623743f799ab0c}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-09T00:04:16.000+0200}, title = {Polynomial Time and Dependent Types.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2307.html#abs-2307-09145}, volume = {abs/2307.09145}, year = 2023 }