Typed Lambda Calculi and Applications, Fachbücher von Pierre-Louis Curien
"Typed Lambda Calculi and Applications" ist eine umfassende Sammlung von Forschungsergebnissen, die aus den Beiträgen der 9. ... Mehr erfahren
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
"Typed Lambda Calculi and Applications" ist eine umfassende Sammlung von Forschungsergebnissen, die aus den Beiträgen der 9. Internationalen Konferenz über Typed Lambda Calculi und deren Anwendungen (TLCA 2009) hervorgegangen sind. Diese Konferenz fand im Juli 2008 in Brasilia, Brasilien, statt und wurde in Verbindung mit der 19. Internationalen Konferenz über Rewriting-Techniken und Anwendungen (RTA 2007) durchgeführt. Die 27 überarbeiteten Volltexte, die in diesem Band präsentiert werden, wurden aus 53 eingereichten Arbeiten sorgfältig ausgewählt und bieten einen tiefen Einblick in die Theorie und die praktischen Anwendungen von typisierten Kalkülen. Die behandelten Themen reichen von Beweistheorie und Semantik bis hin zu Implementierung, Typen und Programmierung, was das Buch zu einer wertvollen Ressource für Forscher und Praktiker in diesem Bereich macht.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer