Title: Proof Theory and Logic Programming: Computation as Proof Search, Author: Dale Miller
Title: Programming Language Design and Implementation, Author: Torben Ægidius Mogensen
Title: The Challenge of AI and Human Agency, Author: Joshua Salva