Mejorada la parte del lenguaje de expresiones

1 files changed, 15 insertions, 0 deletions

diff --git a/bib.bib b/bib.bib
index 957f0fd..537d121 100755
--- a/bib.bib
+++ b/bib.bib
@@ -103,4 +103,19 @@
   journal-URL =  "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1538-7305/issues/",
   remark =       "The Wikipedia entry credits this paper as the
                  foundation of modern cryptography.",
+}
+@Misc{Sorensen98,
+    author = {Morten Heine B. Sørensen and Pawel Urzyczyn},
+    title = {Lectures on the Curry-Howard Isomorphism},
+    year = {1998}
+}
+@article{Church40,
+  author = {A. Church},
+  title = {A formulation of a simple theory of types},
+  journal = {Journal of Symbolic Logic},
+  year = {1940},
+  volume = {5},
+  pages = {56--68},
+  note = {http://www.jstor.org/stable/2266866Electronic Edition},
+  url = {http://www.jstor.org/stable/2266866}
 }
\ No newline at end of file