%0 Journal Article %1 journals/pacmpl/0001VW17 %A Abel, Andreas %A Vezzosi, Andrea %A Winterhalter, Théo %D 2017 %J Proc. ACM Program. Lang. %K %N ICFP %P 33:1-33:30 %T Normalization by evaluation for sized dependent types. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl1.html#0001VW17 %V 1

@article{journals/pacmpl/0001VW17, added-at = {2023-12-12T22:42:27.000+0100}, author = {Abel, Andreas and Vezzosi, Andrea and Winterhalter, Théo}, biburl = {https://www.bibsonomy.org/bibtex/261de74fa2c5e87dc089e5fd62044c483/admin}, ee = {https://doi.org/10.1145/3110277}, interhash = {4d2cb5511cc486a7ad80ce13efe2e269}, intrahash = {61de74fa2c5e87dc089e5fd62044c483}, journal = {Proc. ACM Program. Lang.}, keywords = {}, number = {ICFP}, pages = {33:1-33:30}, timestamp = {2023-12-12T22:42:27.000+0100}, title = {Normalization by evaluation for sized dependent types.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl1.html#0001VW17}, volume = 1, year = 2017 }