Adapting Proofs-As-Programs : The Curry-horward Protocol - Poernomo, Iman Hafiz; Crossley, John Newsome (EE.UU : Springer, 2010)
Incluye bibliografía referencias (p. [407]-416) e indice.