Custom cover image
Custom cover image

Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings / edited by Samson Abramsky

By: Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 2044Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2001Description: Online-RessourceISBN:
  • 9783540454137
  • 3540419608
Other title:
  • TLCA 2001
Subject(s): Genre/Form: Additional physical formats: 9783540419600 | Buchausg. u.d.T.: Typed lambda calculi and applications. Berlin : Springer, 2001. XI, 429 S.DDC classification:
  • 511.3
  • 005.131 23
  • 515 23
MSC: MSC: *00B25 | 03-06 | 68-06RVK: RVK: SS 4800LOC classification:
  • QA8.9-QA10.3
DOI: DOI: 10.1007/3-540-45413-6Online resources: Summary: This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculusPPN: PPN: 1649252706Package identifier: Produktsigel: ZDB-2-BAE | ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT