Lambda Calculus with Types
2490 Kč
Sleva až 70% u třetiny knih
\n
Typed lambda calculus is used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), which are used to design and verify IT products and mathematical proofs. This book reveals unexpected mathematical beauty in three classes of typing: simple types, recursive types and intersection types. Numerous exercises are provided.
\n| Autor: | Barendregt, Henk (Radboud Universiteit Nijmegen); Dekkers, Wil (Radboud Universiteit Nijmegen); Statman, Richard |
| Nakladatel: | Cambridge University Press |
| ISBN: | 9780521766142 |
| Rok vydání: | 2013 |
| Jazyk : | Angličtina |
| Vazba: | pevná |
| Počet stran: | 856 |
Mohlo by se vám také líbit..
-
Quantum Computing for Computer Scien...
Yanofsky, Noson S.
-
Mining of Massive Datasets
Leskovec, Jure (Stanford University, California); Rajaraman, Anand; Ullman, Jeffrey David (Stanford University, Californ
-
A Hands-On Introduction to Data Science
Shah, Chirag (University of Washington)
-
Mathematics for Machine Learning
Deisenroth, Marc Peter (University College London); Faisal, A. Aldo (Imperial College London); Ong, Cheng Soon
-
Machine Learning for Asset Managers
De Prado, Lopez
-
The Discrete Mathematical Charms of P...
Applegate, David L.; Bixby, Robert E.; Chvatal, Vasek; Cook, William J.
-
Game Theory Basics
Von Stengel, Rudiger
-
Learning Scientific Programming with ...
Hill, Christian
-
Boom and Bust
Ayers, William; Kumashiro, Kevin; Meiners, Erica; Quinn, Therese M.; Stovall, David
-
Using Geochemical Data
Rollinson, Hugh R.
-
Foundations of Cryptography: Volume ...
Goldreich, Oded
-
Purely Functional Data Structures
Okasaki, Chris (Columbia University, New York)
-
Integer Linear Programming in Comput...
Gusfield, Dan (University of California, Davis)
-
How to Write Good Programs
Stevens, Perdita
-
Machine Learning Refined
Watt, Jeremy (Northwestern University, Illinois); Borhani, Reza (Northwestern University, Illinois); Katsaggelos, Aggelo
-
Cambridge International AS & A L...
Piper, Tony