Releases med 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 (Inbunden Bok) (2000)
Inbunden Bok
Derivation and Computation: Taki...
Simmons, H. (University of Manch...