From 4353f331b5ab4af157f576f54b1cc79dd08abb12 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Wed, 23 Apr 2025 15:59:22 +0100
Subject: Current state of affairs.

---
 main.bib | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'main.bib')

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},
-- 
cgit v1.2.3