From 6b343db4323a95bfa2f11cd74722e166bf845ace Mon Sep 17 00:00:00 2001
From: Noah Diewald <noah@diewald.me>
Date: Mon, 2 Aug 2021 21:13:06 -0400
Subject: [PATCH] added soem

---
 math.bib      | 10 ++++++++++
 semantics.bib |  8 ++++++++
 2 files changed, 18 insertions(+)

diff --git a/math.bib b/math.bib
index ad698d0..aef7527 100644
--- a/math.bib
+++ b/math.bib
@@ -272,6 +272,16 @@
 	author = {Van Heijenoort, Jean}
 }
 
+@Article{wadler1991linear,
+	pages = {255--273},
+	number = {9},
+	volume = {26},
+	year = {1991},
+	journaltitle = {ACM SIGPLAN Notices},
+	title = {Is there a use for linear logic?},
+	author = {Wadler, Philip}
+}
+
 @Comment{
 Local Variables:
 bibtex-dialect: biblatex
diff --git a/semantics.bib b/semantics.bib
index ce996f1..e83ba32 100644
--- a/semantics.bib
+++ b/semantics.bib
@@ -182,6 +182,14 @@
 	year = 2014
 }
 
+@InBook{grice1975logic,
+	publisher = {Brill},
+	booktitle = {Speech Acts},
+	author = {Grice, Herbert P.},
+	year = {1975},
+	title = {Logic and conversation}
+}
+
 @PhDThesis{heim1982semantics,
 	year = {1982},
 	institution = {University of Massachusetts, Amherst},