Merge pull request #3 from DavideCristoni/main

Aggiunta di libri e dispense
cartabinaria · Nov 24, 2023 · b3dd016 · b3dd016
2 parents 22fa370 + 98a4c6c
commit b3dd016
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 0 deletions.
diff --git a/dispense/01-barendregt-barendsen-introduction-to-lambda-calculus.pdf b/dispense/01-barendregt-barendsen-introduction-to-lambda-calculus.pdf
diff --git a/libri/barendregt-lambda-calculi-with-types.pdf b/libri/barendregt-lambda-calculi-with-types.pdf
diff --git a/libri/girard-proof-and-types.pdf b/libri/girard-proof-and-types.pdf
diff --git a/libri/immerman-descriptive-complexity-ch-1-2-3-7.pdf b/libri/immerman-descriptive-complexity-ch-1-2-3-7.pdf
diff --git a/libri/ullman-principles-of-database-and-knowledge-base-systems-volume-1.pdf b/libri/ullman-principles-of-database-and-knowledge-base-systems-volume-1.pdf