Simmons, H.
Derivation and Computation: Taking the Curry-Howard correspondence seriously - Cambridge Cambridge University Press 2000 - xxv, 384p. - Cambridge Tracts in Theoretical Computer Science no. 51 .
978-0-521-77173-3
Derivation and Computation: Taking the Curry-Howard correspondence seriously - Cambridge Cambridge University Press 2000 - xxv, 384p. - Cambridge Tracts in Theoretical Computer Science no. 51 .
978-0-521-77173-3