Software Foundations, Volume 1: Logical Foundations
by Benjamin C. Pierce
4.76(25 ratings)
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.Logical Foundations serves as the entry-point to the series. It …