author | berghofe |
Thu, 10 Feb 2005 17:09:15 +0100 | |
changeset 15523 | 617996110388 |
parent 15522 | ec0fd05b2f2c |
child 15524 | 2ef571f80a55 |
--- 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} +}