Typed Lambda Calculi and Applications / Lecture Notes in Computer Science Bd.2044 (PDF)
5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings
(Sprache: Englisch)
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...
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Typed Lambda Calculi and Applications / Lecture Notes in Computer Science Bd.2044 (PDF)“
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 calculus.
Bibliographische Angaben
- 2003, 2001, 436 Seiten, Englisch
- Herausgegeben: Samson Abramsky
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540454136
- ISBN-13: 9783540454137
- Erscheinungsdatum: 29.06.2003
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 6.45 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Typed Lambda Calculi and Applications / Lecture Notes in Computer Science Bd.2044"
0 Gebrauchte Artikel zu „Typed Lambda Calculi and Applications / Lecture Notes in Computer Science Bd.2044“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Typed Lambda Calculi and Applications / Lecture Notes in Computer Science Bd.2044".
Kommentar verfassen