Handbook of Logic in Computer Science
Samson Abramsky, Dov M. Gabbay, T. S. Maibaum
₹5,069
Typed Lambda Calculi and Applications
5th International Conference
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2001 · Paperback
₹4,280
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Typed Lambda Calculi and Applications: 5th International Conference by Samson Abramsky is a 436-page paperback edition published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K in 2001.
The book deals with Lambda calculus, Congresses, Calculus & mathematical analysis and Mathematical logic.
Book details
- ISBN-13
- 9783540419600
- ISBN-10
- 3540419608
- Author
- Samson Abramsky
- Published
- 2001
- Edition
- 2001 ed.
- Binding
- Paperback
- Pages
- 436
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Samson Abramsky and related titles
Dependence Logic
Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer
₹3,827
Automata, Languages and Programming
Samson Abramsky, Cyril Gavoille, Claude Kirchner
₹4,811
Automata, Languages and Programming
Samson Abramsky, Cyril Gavoille, Claude Kirchner
₹4,977
Inside Smart Cities
Andrew Karvonen
₹1,749
Quantum superposition
Mark P. Silverman
₹3,429
Systematic Design of CMOS Switched-Current Bandpass Sigma-Delta Modulators for Digital Communication Chips
José M. de la Rosa, C. Toumazou, Belén Pérez-Verdú
₹5,381
AI for the Sustainable Development Goals
Henrik Skaug Sætra
₹11,830
Evolutionary Computation in Combinatorial Optimization
Bin Hu, Manuel López-Ibáñez
₹3,281
Studies on Gottlob Frege and Traditional Philosophy
I. Angelelli
₹12,056
Cisco Internetworking with Windows NT & 2000
Toby Velte, Amy Hanson
₹16,488
Human-Machine Shared Contexts
William Lawless, Ranjeev Mittu, Donald Sofge
₹8,745