add Florian's TDE citation

kwarcpubs.bib

@@ -2,6 +2,19 @@ @string{kpmessage
 @STRING{stexyear = 2020}
 @STRING{testing = 16}
 
+@inproceedings{rabe:tde:21,
+  author = "F. Rabe",
+  title = "{A Language with Type-Dependent Equality}",
+  year = "2021",
+  pages = "211--227",
+  booktitle = "Intelligent Computer Mathematics",
+  editor = "F. Kamareddine and C. {Sacerdoti Coen}",
+  publisher = "Springer",
+	doi = "10.1007/978-3-030-81097-9_18",
+  url = {https://kwarc.info/people/frabe/Research/rabe_tde_21.pdf},
+  pubs = {frabe,mmt,latin}
+}
+
 @unpublished{Roux:logrelguide,
   title = {A Beginner’s Guide to Logical Relations for a Logical Framework},
   author = {Navid Roux},