Typed Lambda Calculi and Applications, Fachbücher von Pierre-Louis Curien
53,49 €
"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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
