Software Foundations
Book Series
by Leonidas Lampropoulos
Latest:
2017
Book 1
Software Foundations, Volume 1: Logical Foundations
by Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino
Book 2
Software Foundations, Volume 2: Programming Language Foundations
by Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino
Book 3
Software Foundations, Volume 3: Verified Functional Algorithms
by Andrew W. Appel
Book 4
Software Foundations (Volume 4): QuickChick: Property-Based Testing in Coq
by Leonidas Lampropoulos, Benjamin C. Pierce