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
berghofe@14069
     1
@Article{Matthes-Joachimski-AML,
berghofe@14069
     2
  author =       {Felix Joachimski and Ralph Matthes},
berghofe@14069
     3
  title =        {Short Proofs of Normalization for the simply-typed
berghofe@14069
     4
                  $\lambda$-calculus, permutative conversions and
berghofe@14069
     5
                  {G}{\"o}del's {T}},
berghofe@14069
     6
  journal =      {Archive for Mathematical Logic},
berghofe@14069
     7
  year =         2003,
berghofe@14069
     8
  volume =       42,
berghofe@14069
     9
  number =       1,
berghofe@14069
    10
  pages =        {59--87}
berghofe@14069
    11
}
berghofe@15523
    12
berghofe@15523
    13
@Article{Takahashi-IandC,
berghofe@15523
    14
  author = 	 {Masako Takahashi},
berghofe@15523
    15
  title = 	 {Parallel reductions in $\lambda$-calculus},
berghofe@15523
    16
  journal = 	 {Information and Computation},
berghofe@15523
    17
  year = 	 1995,
berghofe@15523
    18
  volume =	 118,
berghofe@15523
    19
  number =	 1,
berghofe@15523
    20
  pages =	 {120--127},
berghofe@15523
    21
  month =	 {April}
berghofe@15523
    22
}