incomplete draft

2026-05-20 18:00:51 +01:00
parent c4b7a43bce
commit 5964b1cfac
4 changed files with 93 additions and 26 deletions
@@ -6232,3 +6232,13 @@
  doi		= {10.4230/LIPIcs.ITP.2019.30},
  timestamp	= {Sat, 05 Sep 2020 18:04:33 +0200}
 }
+
+@article{Dubut25,
+  title={Aczel-mendler bisimulations in a regular category},
+  author={Dubut, J{\'e}r{\'e}my},
+  journal={Logical Methods in Computer Science},
+  volume={21},
+  year={2025},
+  publisher={Episciences. org}
+}
+