Communiqués par Simmons, H. (University of Manchester)

En stock chez iMusic Montrer les articles indisponibles

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