Julkaisut sisältäen Simmons, H. (University of Manchester)

Varastossa iMusicilla Näytä loppuunmyydyt julkaisut

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)

Derivation and Computation: Taki... (2000)

Simmons, H. (University of Manch...