From 3a1a67ad04a996aa3f0b3036a92b355661f4ed49 Mon Sep 17 00:00:00 2001
From: Aleksey Zubakov <aleks.zubakov@gmail.com>
Date: Thu, 4 May 2023 02:02:34 +0300
Subject: [PATCH] Add software foundations shelve

---
 README.html   | 11 +++++++++++
 citations.txt |  4 +++-
 sf.bib        | 13 +++++++++++++
 3 files changed, 27 insertions(+), 1 deletion(-)
 create mode 100644 sf.bib

diff --git a/README.html b/README.html
index a8e3baf..f5cf735 100644
--- a/README.html
+++ b/README.html
@@ -44,6 +44,17 @@ class="nocase">Introduction to Computation: Haskell, Logic and
 Automata</span></em><a
 href="https://link.springer.com/book/10.1007/978-3-030-76908-6"
 role="doc-biblioref">https://link.springer.com/book/10.1007/978-3-030-76908-6</a>.</span></li>
+<li>см. статью: Соответствие Карри–Ховарда: от матлогики к
+программированию и обратно тут: <span class="citation"
+data-cites="dubna-2017"><span>“<span class="nocase">XVII Летняя Школа
+"Современная математика"</span>,”</span> 2017. <a
+href="https://www.mccme.ru/dubna/2017"
+role="doc-biblioref">https://www.mccme.ru/dubna/2017</a>.</span></li>
+<li><span class="citation"
+data-cites="softwarefoundations"><span>“<span>Software
+Foundations</span>,”</span> 2021. <a
+href="https://softwarefoundations.cis.upenn.edu"
+role="doc-biblioref">https://softwarefoundations.cis.upenn.edu</a>.</span></li>
 </ul>
 <h2 id="теория-языков-программирования">Теория языков
 программирования</h2>
diff --git a/citations.txt b/citations.txt
index d91bc0e..060c12a 100644
--- a/citations.txt
+++ b/citations.txt
@@ -1,7 +1,7 @@
 ---
 title: "home lib"
 output: markdown
-bibliography: [db.bib, design.bib, fp.bib, sink.bib, logic.bib, langs/haskell.bib, langs/R.bib]
+bibliography: [db.bib, design.bib, fp.bib, sink.bib, logic.bib, langs/haskell.bib, langs/R.bib, sf.bib]
 ---
 
 ## Функциональщина 
@@ -11,6 +11,8 @@ bibliography: [db.bib, design.bib, fp.bib, sink.bib, logic.bib, langs/haskell.bi
 ## ОМП
 - [@haskell-road-to-logic]
 - [@computation-intro]
+- см. статью: Соответствие Карри–Ховарда: от матлогики к программированию и обратно тут: [@dubna-2017]
+- [@softwarefoundations]
 
 ## Теория языков программирования
 - [@github-plt]
diff --git a/sf.bib b/sf.bib
new file mode 100644
index 0000000..1b2ffe0
--- /dev/null
+++ b/sf.bib
@@ -0,0 +1,13 @@
+@misc{dubna-2017,
+	title = {{XVII Летняя Школа "Современная математика"}},
+	year = 2017,
+	month = may,
+	url = {https://www.mccme.ru/dubna/2017}
+}
+
+@misc{softwarefoundations,
+	title = {{Software Foundations}},
+	year = {2021},
+	month = may,
+	url = {https://softwarefoundations.cis.upenn.edu}
+}