%0 Journal Article %1 journals/corr/abs-2110-05771 %A Shen, Gan %A Kuper, Lindsey %D 2021 %J CoRR %K dblp %T Toward SMT-Based Refinement Types in Agda. %U http://dblp.uni-trier.de/db/journals/corr/corr2110.html#abs-2110-05771 %V abs/2110.05771

@article{journals/corr/abs-2110-05771, added-at = {2021-10-21T00:00:00.000+0200}, author = {Shen, Gan and Kuper, Lindsey}, biburl = {https://www.bibsonomy.org/bibtex/27f0004586011f60985907df60d6bab2b/dblp}, ee = {https://arxiv.org/abs/2110.05771}, interhash = {22fc7881ba8301187d53c3639b226dd9}, intrahash = {7f0004586011f60985907df60d6bab2b}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:20:37.000+0200}, title = {Toward SMT-Based Refinement Types in Agda.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2110.html#abs-2110-05771}, volume = {abs/2110.05771}, year = 2021 }