Update README.md

added approxis
logsem · Aug 26, 2024 · b4b3446 · b4b3446
1 parent bb58bd1
commit b4b3446
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -5,6 +5,10 @@ All of the logics are built using the [Iris](https://iris-project.org) program l
 
 ## Publications
 
+[**Approximate Relational Reasoning for Higher-Order Probabilistic Programs**](https://arxiv.org/abs/2407.14107)<br>
+*Philipp G. Haselwarter, Kwing Hei Li, Alejandro Aguirre, Simon Oddershede Gregersen, Joseph Tassarotti, Lars Birkedal*<br>
+arXiv:2407.14107
+
 [**Tachis: Higher-Order Separation Logic with Credits for Expected Costs**](https://arxiv.org/abs/2405.20083)<br>
 *Philipp G. Haselwarter, Kwing Hei Li, Markus de Medeiros, Simon Oddershede Gregersen, Alejandro Aguirre, Joseph Tassarotti, Lars Birkedal*<br>
 arXiv:2405.20083