From c67c9af1e97c730b6b55238a62f1019c75bb2c85 Mon Sep 17 00:00:00 2001 From: Aleksey Zubakov Date: Thu, 4 May 2023 03:11:57 +0300 Subject: [PATCH] More books and type theory shelve --- README.html | 16 ++++++++++++++++ citations.txt | 18 +++++++++++++++++- fp.bib | 1 + pdfs/algebraofprogramming.pdf | Bin 0 -> 5206539 bytes sf.bib | 9 +++++++++ tt.bib | 29 +++++++++++++++++++++++++++++ 6 files changed, 72 insertions(+), 1 deletion(-) create mode 100644 pdfs/algebraofprogramming.pdf create mode 100644 tt.bib diff --git a/README.html b/README.html index f5cf735..3cf4bcd 100644 --- a/README.html +++ b/README.html @@ -55,6 +55,9 @@ data-cites="softwarefoundations">Software Foundations,” 2021. https://softwarefoundations.cis.upenn.edu. +
  • Bird, +Richard, and Oege de Moor. Algebra of programming, +1997.
  • Теория языков программирования

    @@ -80,6 +83,19 @@ systems, 2004. http://www.amazon.de/s/url=search-alias%3Daps&field-keywords=052154310X. +

    Теория типов

    +

    Базы данных