%0 Conference Paper %1 conf/fscd/FelicissimoW24 %A Felicissimo, Thiago %A Winterhalter, Théo %B FSCD %D 2024 %E Rehof, Jakob %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 21:1-21:23 %T Impredicativity, Cumulativity and Product Covariance in the Logical Framework Dedukti. %U http://dblp.uni-trier.de/db/conf/fscd/fscd2024.html#FelicissimoW24 %V 299 %@ 978-3-95977-323-2

@inproceedings{conf/fscd/FelicissimoW24, added-at = {2024-07-05T00:00:00.000+0200}, author = {Felicissimo, Thiago and Winterhalter, Théo}, biburl = {https://www.bibsonomy.org/bibtex/280121cf11567befedbbbf70135178a12/dblp}, booktitle = {FSCD}, crossref = {conf/fscd/2024}, editor = {Rehof, Jakob}, ee = {https://doi.org/10.4230/LIPIcs.FSCD.2024.21}, interhash = {e1d0c46a4728adc6a6a42cd980488bdd}, intrahash = {80121cf11567befedbbbf70135178a12}, isbn = {978-3-95977-323-2}, keywords = {dblp}, pages = {21:1-21:23}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:50:49.000+0200}, title = {Impredicativity, Cumulativity and Product Covariance in the Logical Framework Dedukti.}, url = {http://dblp.uni-trier.de/db/conf/fscd/fscd2024.html#FelicissimoW24}, volume = 299, year = 2024 }