This eBook version includes the Preface, Foreword and introductory texts only. Here is an authoritative and beautiful overview of the graphic art produced by ar

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a

The first definitive overview of typewriter art in decades—with a unique algorithm giving each volume its own cover design The beloved typewriter—its utilit

With its flexibility for programming both small and large projects, Scala is an ideal language for teaching beginning programming. Yet there are no textbooks on

Crohn’s disease (CD) is a subtype of inflammatory bowel disease (IBD) that can affect any part of the intestine and can lead to stricture, fistula, and absces