phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł Poczta Polska 18.99 zł ORLEN Paczka 11.02 zł
phone Kontakt phoneJak kupować

Typed Lambda Calculi and Applications

Język AngielskiAngielski
Książka Miękka
Książka Typed Lambda Calculi and Applications Samson Abramsky
Kod Libristo: 01563428
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, kwiecień 2001
This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda C... Cały opis
? points 154 b
262.26 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Kaskaden Eliot Weinberger / Miękka
common.buy 93.64 zł
Creativity and Advertising Andrew McStay / Twarda
common.buy 856.75 zł
Voralpenpflanzen Franz Daffner / Miękka
common.buy 255.46 zł
Climate Justice Henry Shue / Twarda
common.buy 268.75 zł
Asymptotic Analysis and Boundary Layers Jean Cousteix / Miękka
common.buy 517.33 zł
Der Todesstrahl Daniel Clowes / Twarda
common.buy 93.64 zł
Environmental Geochemistry J. A. C. Fortescue / Miękka
common.buy 517.33 zł
Erstellung eines Webshops unter Verwendung des Content Management Systems Joomla! Karsten Oltrogge / Miękka
common.buy 207.48 zł
Partisan Politics, Divided Government, and the Economy Alberto AlesinaHoward Rosenthal / Miękka
common.buy 195.89 zł

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.

Informacje o książce

Pełna nazwa Typed Lambda Calculi and Applications
Autor Samson Abramsky
Język Angielski
Oprawa Książka - Miękka
Data wydania 2001
Liczba stron 436
EAN 9783540419600
ISBN 3540419608
Kod Libristo 01563428
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 682
Wymiary 155 x 233 x 25

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Matematyka i nauki ścisłe > Matematyka > Rachunek różniczkowy i całkowy, analiza matematyczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo