Add software foundations shelve

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>

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]

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}
+}