src/HOL/Lambda/document/root.bib
author berghofe
Thu Sep 06 11:50:32 2007 +0200 (2007-09-06)
changeset 24539 e2bfa8a88380
parent 15523 617996110388
permissions -rw-r--r--
Added lecture notes by Matthes and Loader.
     1 @TechReport{Loader1998,
     2   author =	 {Ralph Loader},
     3   title =	 {{N}otes on {S}imply {T}yped {L}ambda {C}alculus},
     4   institution =	 {Laboratory for Foundations of Computer Science,
     5                   School of Informatics, University of Edinburgh},
     6   year =	 1998,
     7   number =	 {ECS-LFCS-98-381}
     8 }
     9 
    10 @InProceedings{Matthes-ESSLLI2000,
    11   author =	 {Ralph Matthes},
    12   title =	 {{L}ambda {C}alculus: {A} {C}ase for {I}nductive
    13                   {D}efinitions},
    14   booktitle =	 {Lecture notes of the 12th European Summer School in
    15                   Logic, Language and Information (ESSLLI 2000)},
    16   year =	 2000,
    17   month =	 {August},
    18   publisher =	 {School of Computer Science, University of
    19                   Birmingham}
    20 }
    21 
    22 @Article{Matthes-Joachimski-AML,
    23   author =       {Felix Joachimski and Ralph Matthes},
    24   title =        {Short Proofs of Normalization for the simply-typed
    25                   $\lambda$-calculus, permutative conversions and
    26                   {G}{\"o}del's {T}},
    27   journal =      {Archive for Mathematical Logic},
    28   year =         2003,
    29   volume =       42,
    30   number =       1,
    31   pages =        {59--87}
    32 }
    33 
    34 @Article{Takahashi-IandC,
    35   author = 	 {Masako Takahashi},
    36   title = 	 {Parallel reductions in $\lambda$-calculus},
    37   journal = 	 {Information and Computation},
    38   year = 	 1995,
    39   volume =	 118,
    40   number =	 1,
    41   pages =	 {120--127},
    42   month =	 {April}
    43 }