Wydania przez Simmons, H. (University of Manchester)

Dostępne w magazynie iMusic Pokaż niedostępne przedmioty

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...