src/HOL/Lambda/document/root.bib
changeset 15523 617996110388
parent 14069 ace0ee5ed528
child 24539 e2bfa8a88380
equal deleted inserted replaced
15522:ec0fd05b2f2c 15523:617996110388
     7   year =         2003,
     7   year =         2003,
     8   volume =       42,
     8   volume =       42,
     9   number =       1,
     9   number =       1,
    10   pages =        {59--87}
    10   pages =        {59--87}
    11 }
    11 }
       
    12 
       
    13 @Article{Takahashi-IandC,
       
    14   author = 	 {Masako Takahashi},
       
    15   title = 	 {Parallel reductions in $\lambda$-calculus},
       
    16   journal = 	 {Information and Computation},
       
    17   year = 	 1995,
       
    18   volume =	 118,
       
    19   number =	 1,
       
    20   pages =	 {120--127},
       
    21   month =	 {April}
       
    22 }