
Typed Lambda Calculi and Applications
Luke Ong
₹5,517

by Luke Ong, Ruy De Queiroz
Free delivery. Nothing extra to pay at checkout.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 19th Workshop on Logic, Language, Information and Communication, WoLLIC 2012, held in Buenos Aires, Argentina, in September 2012. The papers accompanying 8 invited lectures are presented together with 16 contributed papers; the latter were carefully reviewed and selected from 46 submissions.
Description supplied by the publisher.