Título: Combinatory Logic. Pure, Applied And Typed | ||
Autor: Bimbo, Katalin | Precio: $1680.00 | |
Editorial: Crc Press | Año: 2012 | |
Tema: Matematicas | Edición: 1ª | |
Sinopsis | ISBN: 9781439800003 | |
Combinatory Logic: Pure, Applied and Typed provides a state-of-the-art overview of the field in the early 21st century. Using a reader-friendly style, the author introduces combinatory logic before progressing to its central theorems and proofs. The text makes intelligent and well-researched connections between combinatory logic and ?-calculi and presents models and applications, which amplify the significance of these connections. |