%0 Conference Paper %1 conf/sfp/MarmadukeDS23 %A Marmaduke, Andrew %A Diehl, Larry %A Stump, Aaron %B TFP %D 2023 %E Chang, Stephen %I Springer %K dblp %P 1-15 %T Impredicative Encodings of Inductive-Inductive Data in Cedille. %U http://dblp.uni-trier.de/db/conf/sfp/tfp2023.html#MarmadukeDS23 %V 13868 %@ 978-3-031-38938-2

@inproceedings{conf/sfp/MarmadukeDS23, added-at = {2023-08-30T00:00:00.000+0200}, author = {Marmaduke, Andrew and Diehl, Larry and Stump, Aaron}, biburl = {https://www.bibsonomy.org/bibtex/21cfdf17aa07ef31798bbce5e4977e51a/dblp}, booktitle = {TFP}, crossref = {conf/sfp/2023}, editor = {Chang, Stephen}, ee = {https://doi.org/10.1007/978-3-031-38938-2_1}, interhash = {4679c8e80023ca62108bc547eb8a7186}, intrahash = {1cfdf17aa07ef31798bbce5e4977e51a}, isbn = {978-3-031-38938-2}, keywords = {dblp}, pages = {1-15}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T17:46:35.000+0200}, title = {Impredicative Encodings of Inductive-Inductive Data in Cedille.}, url = {http://dblp.uni-trier.de/db/conf/sfp/tfp2023.html#MarmadukeDS23}, volume = 13868, year = 2023 }