# HG changeset patch
# User berghofe
# Date 1108051755 -3600
# Node ID 617996110388f4d1c26b7718da418f7c6b0319e7
# Parent  ec0fd05b2f2cccbcffb26625b7a9ab673930727a
Added paper by M. Takahashi.

diff -r ec0fd05b2f2c -r 617996110388 src/HOL/Lambda/document/root.bib
--- a/src/HOL/Lambda/document/root.bib	Thu Feb 10 17:08:45 2005 +0100
+++ b/src/HOL/Lambda/document/root.bib	Thu Feb 10 17:09:15 2005 +0100
@@ -9,3 +9,14 @@
   number =       1,
   pages =        {59--87}
 }
+
+@Article{Takahashi-IandC,
+  author = 	 {Masako Takahashi},
+  title = 	 {Parallel reductions in $\lambda$-calculus},
+  journal = 	 {Information and Computation},
+  year = 	 1995,
+  volume =	 118,
+  number =	 1,
+  pages =	 {120--127},
+  month =	 {April}
+}