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 (Innbunden bok) (2000)
Innbunden bok
Derivation and Computation: Taki...
Simmons, H. (University of Manch...