H. Simmons - Derivation and Computation: Taking the Curry-Howard Correspondence Seriously (Cambridge Tracts in Theoretical Computer Science, Band 51)

Poernomo, Iman Hafiz - Adapting Proofs-as-Programs: The Curry-Howard Protocol (Monographs in Computer Science)