Filters
- Cambridge University Press
- 17 Books Ltd
- 17 Books Publishing
- 3ichael 7ambert
- A K Peters
- A K PETERS
- AB Publisher LLC
- Abdul Ahad Ansari
- Abfurtado.Com.Br
- Ablex Publishing Corporation
- Academic Press
- Academiques
- ACM
- ACM Books
- Addison-Wesley Professional
- Agencia Brasileira Do ISBN
- ALA Editions
- Alan Grid
- Alaric Hemingway
- Algorithms
- Amazon Digital Services LLC - Kdp
- Ambra Verlag
- American Mathematical Society
- Anchor Academic Publishing
- Andrews UK Limited
- Anson Street Press
- Apress
- Archer Paul
- Arcler Press
- Arcturus Editions
- Artech House Publishers
- Arthur M. Doweyko
- Association for Computing Machinery
- Athabasca University Press
- Atlantic Publishers & Distributors (P) Ltd
- Auerbach Publications
- Authorhouse
- Azhar Sario Dubai
- Basic Books
- Bellwether Media Inc.
- Bentham Science Publishers
- Biblioscholar
- Birkhauser
- Bloomsbury Academic
- Bloomsbury Education
- Bob Mather
- Bod - Books on Demand
- Bookbaby
- BookLife Publishing
- Books on Demand
- Booksurge Publishing
- Bosko Books
- Bpb Publications
- BPB Publications
- Bradford Book
- Broquard eBooks
- Business Science Reference
- Butterworth-Heinemann
- C Hurst & Co Publishers Ltd
- C. Press/F. Watts Trade
- CABI
- Cambridge UP
- Capstone
- Careercup
- Carl Keyness
- Cayenne Canyon Press
- CBS Publishers & Distributors Pvt. Ltd.
- Cengage Learning India
- Cengage Learning, Inc
- Center for the Study of Language and Informat
- Chapman and Hall
- Charles M Dominquez
- Christian Colossus
- Clanrye International
- Code Energy
- Codemonkey Do
- Cody Koala
- Cognella Academic Publishing
- Coherent Press
- College Publications
- Columbia University Press
- Coronat Services, LLC
- Course Technology
- Crabtree Classics
- CRC Press
- Createspace
- Createspace Independent Publishing Platform
- Data Science
- Datetree Press
- David Belbeze
- Deutscher Universitatsverlag
- Dg Junior
- Diplom.de
- Diplomica Verlag
- Disserta Verlag
- Dissertation Discovery Company
- Dissertation.com
- DK Publishing (Dorling Kindersley)
- Docent Press
- Dover Publications
- Cambridge University Press
- 17 Books Ltd
- 17 Books Publishing
- 3ichael 7ambert
- A K PETERS
- A K Peters/CRC Press
- AB Publisher LLC
- Abdul Ahad Ansari
- Abfurtado.Com.Br
- Ablex Publishing Corporation
- Acad Pr
- Academic Press
- Academiques
- ACM
- ACM Books
- Addison-Wesley Professional
- AddisWesle
- Agencia Brasileira Do ISBN
- ALA Editions
- Alan Grid
- Alaric Hemingway
- Algorithms
- Amazon Digital Services LLC - Kdp
- Ambra Verlag
- American Mathematical Society
- Anchor Academic Publishing
- Andrews UK Limited
- Anson Street Press
- Apple Academic Press
- Apress
- Archer Paul
- Arcler Press
- Arcturus Editions
- Artech House Publishers
- Arthur M. Doweyko
- Association for Computing Machinery
- Athabasca University Press
- Atlantic
- Atlantis Press
- Auerbach P
- Auerbach Publications
- Authorhouse
- Azhar Sario Dubai
- Basic Books
- Bellwether Media Inc.
- Bentham Science Publishers
- Biblioscholar
- Birkhauser
- Birkhauser Basel
- Birkhauser Boston
- Bloomsbury Academic
- Bloomsbury Education
- Bob Mather
- Bod - Books on Demand
- Bookbaby
- BookLife Publishing
- Books on Demand
- Booksurge Publishing
- Bosko Books
- Bpb Publications
- BPB Publications
- Bradford Book
- Broquard eBooks
- Business Science Reference
- Butterworth-Heinemann
- C Hurst & Co Publishers Ltd
- C. Press/F. Watts Trade
- CABI
- Cambridge
- Cambridge UP
- Capstone
- Careercup
- Carl Keyness
- Cayenne Canyon Press
- CBS Publishers & Distributors Pvt. Ltd.
- Cengage Learning India
- Cengage Learning, Inc
- Center for the Study of Language and Informat
- Chapman and Hall
- Chapman and Hall/CRC
- Chapman Hall
- Charles M Dominquez
- Christian Colossus
- Clanrye International
- Code Energy
- Codemonkey Do
- Cody Koala
- Cognella Academic Publishing
- Coherent Press
- College Publications
- Columbia University Press
- Coronat Services, LLC
- Course Technology
- Crabtree Classics
- CRC Press
- CRC/CH
- Createspace
- Createspace Independent Publishing Platform
- Data Science
- DK Publishing (Dorling Kindersley)
- Bio-Science and Agriculture
- Business Management
- Chemistry
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Earth-Science/Environment
- Economics
- Education & Psychology
- Engineering
- General Books
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Nutrition and Dietetics
- Physics and Astronomy
- Religion and Philosophy
- Sociology and Anthropology
- Tourism, Travel Guide & Hospitality
- Шойхеk
- A. Parveen
- A. Sima Uyar
- Adam Slowik
- Adenir Dos Santos Camargo
- Afonso Ferreira
- Agassi Melikov
- Agnieszka Dardzinska
- Akbar Shaik
- Akshay B R
- Alan Grid
- Alexander Cane
- Alexander J. Zaslavski
- Alexander Shen
- Ali Emrouznejad
- Amara Hawthorn
- Amol M. Jagtap
- Anand J. Kulkarni
- Andreas Albrecht
- Andreas Brandstädt
- Andrew Adamatzky
- Andriëtte Bekker
- Andy Vickler
- Anil Menon
- Anita Schöbel
- Anonymous
- Anshuman Mishra
- Anthony Bonato
- Aristides Bouras
- Arnaud Liefooghe
- Arpad Kelemen
- Arthur David Snider
- Ashish Ghosh
- Axel Rylan
- Benjamin Doerr
- Bernd Bischl
- Bernd Gärtner
- Berthold Vöcking
- Booker Blunt
- Bradley Green
- Brigitte Chauvin
- Carlos Cotta
- Christian Baya Diakileke
- Christian Blum
- Cícero Dos Santos Teixeira
- Collectif
- Ding-Zhu Du
- Dmitrii Lozovanu
- Donald E. Knuth
- E. S. Gopi
- Elian Greystone
- Enrique Alba
- Erik Cuevas
- Fedor V. Fomin
- Flávia Gonçalves Fernandes
- Flemming Nielson
- Frank Dehne
- Frank Hoffmann
- Gilles Dowek
- Giovanni Squillero
- H. S. Saini
- Hakim Chennoufi
- Herbert Schildt
- Jagdish Chand Bansal
- John A. Trangenstein
- Lucien Sina
- Manana Chumburidze
- Maxime Crochemore
- Mohamed Skander Daas
- Norbert Blum
- Oscar Castillo
- Panos M. Pardalos
- Patricia Melin
- Patrick Siarry
- Peter Brucker
- Phil Bagge
- Radek Silhavy
- Rafael Sanders
- Richard Johnson
- Robert C. Matthews
- Roberto Cruz Acosta
- Roman Wyrzykowski
- Ronald T. Kneusel
- Seyedali Mirjalili
- Shengxiang Yang
- Stefano Crespi Reghizzi
- Stefka Fidanova
- Steven Halim
- Theophilus Edet
- Thompson Carter
- Tim Roughgarden
- Utpal Banerjee
- Vic Broquard
- Vladimir P. Gerdt
- William E. Clark
- Witold Pedrycz
- Xin-She Yang
- Yang Hu
- Ying Tan
- Youness Manzali
Products
Basic Simple Type Theory
J. Roger Hindley
Paperback
Current price
₹5,096
Original price
₹5,200
Original price
₹5,200
Original price
₹5,200
(-2%)
₹5,096
Current price
₹5,096
| /
• Author(s): J. Roger Hindley • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming - GeneralType theory is one of the most important tools in the design of higher-level programming languages...
View full details
Basic Simple Type Theory
J. Roger Hindley, Roger J. Hindley, C. J. Van Rijsbergen
Hardcover
Current price
₹13,449
Original price
₹13,780
Original price
₹13,780
Original price
₹13,780
(-2%)
₹13,449
Current price
₹13,449
| /
• Author(s): J. Roger Hindley | Roger J. Hindley | C. J. Van Rijsbergen • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming - GeneralType theory is one of the most important tools in the de...
View full details
Lambda-Calculus and Combinators: An Introduction
J. Roger Hindley, Jonathan P. Seldin
Hardcover
Current price
₹9,069
Original price
₹9,230
Original price
₹9,230
Original price
₹9,230
(-2%)
₹9,069
Current price
₹9,069
| /
• Author(s): J. Roger Hindley | Jonathan P. Seldin • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: LogicCombinatory logic and lambda-calculus, originally devised in the 1920's, have since developed...
View full details
