Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: root.bib Sprache: Latech

Original von: Isabelle^©

@TechReport{Loader1998,
  author =  {Ralph Loader},
  title =  {{N}otes on {S}imply {T}yped {L}ambda {C}alculus},
  institution =  {Laboratory for Foundations of Computer Science,
                  School of Informatics, University of Edinburgh},
  year =  1998,
  number =  {ECS-LFCS-98-381}
}

@InProceedings{Matthes-ESSLLI2000,
  author =  {Ralph Matthes},
  title =  {{L}ambda {C}alculus: {A} {C}ase for {I}nductive
                  {D}efinitions},
  booktitle =  {Lecture notes of the 12th European Summer School in
                  Logic, Language and Information (ESSLLI 2000)},
  year =  2000,
  month =  {August},
  publisher =  {School of Computer Science, University of
                  Birmingham}
}

@Article{Matthes-Joachimski-AML,
  author =       {Felix Joachimski and Ralph Matthes},
  title =        {Short Proofs of Normalization for the simply-typed
                  $\lambda$-calculus, permutative conversions and
                  {G}{\"o}del's {T}},
  journal =      {Archive for Mathematical Logic},
  year =         2003,
  volume =       42,
  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}
}

¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.