izlaidumi no Simmons, H. (University of Manchester)

Cover for Simmons, H. (University of Manchester) · Derivation and Computation: Taking the Curry-Howard Correspondence Seriously - Cambridge Tracts in Theoretical Computer Science (Hardcover Book) (2000)
Hardcover Book
Derivation and Computation: Taki...
Simmons, H. (University of Manch...