src/HOL/Lambda/document/root.bib
author haftmann
Mon Aug 14 13:46:06 2006 +0200 (2006-08-14)
changeset 20380 14f9f2a1caa6
parent 15523 617996110388
child 24539 e2bfa8a88380
permissions -rw-r--r--
simplified code generator setup
     1 @Article{Matthes-Joachimski-AML,
     2   author =       {Felix Joachimski and Ralph Matthes},
     3   title =        {Short Proofs of Normalization for the simply-typed
     4                   $\lambda$-calculus, permutative conversions and
     5                   {G}{\"o}del's {T}},
     6   journal =      {Archive for Mathematical Logic},
     7   year =         2003,
     8   volume =       42,
     9   number =       1,
    10   pages =        {59--87}
    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 }