Typed Lambda Calculi and Applications

Name: Typed Lambda Calculi and Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642216909
Price: 244.99 PLN
Availability: InStock

10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Autor: Luke Ong

Język:

Oprawa: Miękka

Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostępność: Dostępna u dostawcy w małych ilościach

Wysyłamy za 13-18 dni

244.99 zł

This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda...

Informacje o książce

Autor

Luke Ong

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2011

strony

245

EAN

9783642216909

ISBN

3642216900

Enbook ID

01658184

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

380

Wymiary

155 x 235 x 18

Pełny opis

This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming.§The 15 revised full papers presented were carefully reviewed and selected from 44 submissions. The papers provide prevailing research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts addressing a wide variety of topics such as proof-theory, semantics, implementation, types, and programming.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Typed Lambda Calculi and Applications

10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Informacje o książce

Pełny opis

Możesz być zainteresowany

Carrie's War

Fair Isle Trilogy

The History Of A Lump Of Iron: From The Mine To The Magnet (1884)

Surfboard to Peril: A Miss Mallard Mystery

Road Whiz

Elements of Inquiry

The 2015 Book of Baby Names

Handbook on Basel III

Narrative of the War with China in 1860

Good News to the Poor

Plastic Yuppies

Passing the Love of Women. a Novel.

Little Book of Backgammon Tips

Klienci, którzy kupili tę książkę, kupili również

Uso de la gramática espaňola Junior (intermedio)

Tao Te Ching : urdimbre verdadera del camino y su virtud

Rescate : historias de supervivencia en la tierra y el mar

Young ELI Readers - German

Jujutsu Kaisen - Band 8