User:Smbarreda/Books/An Informal Introduction to Computer Science

An Informal Introduction to Computer Science

 * Basic Concepts
 * Mathematical structure


 * Theory
 * Type theory
 * Category theory
 * Programming language