Australia Austria Belgium Brazil Czech Republic Denmark Finland Flemish Belgium France Germany Greece Ireland Italy Netherlands Norway Poland Portugal Romania Slovakia Spain Sweden Switzerland United Kingdom United States
menu-bar All the categories
Lambda Calculus with Types

Lambda Calculus with Types

0.0/5 -0 Rates

Merchant: Platekompaniet.no

Brand:

999,00 kr 874,00 kr

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.

Related products

Munich Why?

Munich Why?

157,00 kr

Aisha - The Wife, The Companion, The Scholar

Aisha - The Wife, The Companion, The Scholar

130,00 kr

Islamic Geometric Patterns

Islamic Geometric Patterns

200,00 kr

Scientific Advertising

Scientific Advertising

113,00 kr

Action!

Action!

149,00 kr