Software Foundations, Volume 1: Logical Foundations

Benjamin C. Pierce , Arthur Azevedo de Amorim , Chris Casinghino