From 1d78c26038f628752ea77ce48fc8a5936b8700d9 Mon Sep 17 00:00:00 2001
From: Guillermo Ramos
Date: Tue, 3 Jun 2014 01:45:02 +0200
Subject: Mejorada la parte del lenguaje de expresiones

---
 bib.bib | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

(limited to 'bib.bib')

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
-- 
cgit v1.2.3