%0 Journal Article %1 journals/tplp/Bry20 %A Bry, François %D 2020 %J Theory Pract. Log. Program. %K dblp %N 1 %P 99-146 %T In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming. %U http://dblp.uni-trier.de/db/journals/tplp/tplp20.html#Bry20 %V 20

@article{journals/tplp/Bry20, added-at = {2020-03-17T00:00:00.000+0100}, author = {Bry, François}, biburl = {https://www.bibsonomy.org/bibtex/26ec1e86fee067b43f58c2276b0548f32/dblp}, ee = {https://doi.org/10.1017/S1471068419000024}, interhash = {a956c07c71c01c2c4309700ea231d28c}, intrahash = {6ec1e86fee067b43f58c2276b0548f32}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = 1, pages = {99-146}, timestamp = {2020-03-18T11:39:10.000+0100}, title = {In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp20.html#Bry20}, volume = 20, year = 2020 }