Current state of affairs.

1 files changed, 8 insertions, 0 deletions

diff --git a/main.bib b/main.bib
index ee30bc1..ddc1833 100644
--- a/main.bib
+++ b/main.bib
@@ -59,6 +59,14 @@
   urldate = {2024-09-16}
 }
 
+@unpublished{Squid:unpublished/Bauer17,
+  author  = {Andrej Bauer},
+  title   = {On Self-Interpreters for {System~T} and Other Typed \(\lambda\)-Calculi},
+  year    = {2026},
+  url     = {http://math.andrej.com/wp-content/uploads/2016/01/self-interpreter-for-T.pdf},
+  urldate = {2025-04-02}
+}
+
 @book{DiscoverEd:book/oc/Cantor52,
   author    = {Cantor, Georg},
   title     = {Contributions to the Founding of the Theory of Transfinite Numbers},