%0 Journal Article %1 journals/toplas/Lennon-Bertrand22 %A Lennon-Bertrand, Meven %A Maillard, Kenji %A Tabareau, Nicolas %A Tanter, Éric %D 2022 %J ACM Trans. Program. Lang. Syst. %K dblp %N 2 %P 7:1-7:82 %T Gradualizing the Calculus of Inductive Constructions. %U http://dblp.uni-trier.de/db/journals/toplas/toplas44.html#Lennon-Bertrand22 %V 44

@article{journals/toplas/Lennon-Bertrand22, added-at = {2023-08-28T00:00:00.000+0200}, author = {Lennon-Bertrand, Meven and Maillard, Kenji and Tabareau, Nicolas and Tanter, Éric}, biburl = {https://www.bibsonomy.org/bibtex/2210a8efd22da9fd3ad8af2e292c888c0/dblp}, ee = {https://www.wikidata.org/entity/Q114008494}, interhash = {2df70f0bc2f9d114040760a77f330702}, intrahash = {210a8efd22da9fd3ad8af2e292c888c0}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 2, pages = {7:1-7:82}, timestamp = {2024-04-09T06:03:16.000+0200}, title = {Gradualizing the Calculus of Inductive Constructions.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas44.html#Lennon-Bertrand22}, volume = 44, year = 2022 }