H. (University of Manchester) Simmons Forfatter

Visning: Type : Alle | Sprog : Alle | Format : Alle

• 

  PRIS

  1.644,- kr

  FRAGTFRI LEVERING

  Levering: 6 - 9 hverdage

  Bemærk: Kan leveres før jul.

  Derivation and Computation: Taking the Curry-Howard Correspondence Seriously (Bog, Hardback, Engelsk)

  Af: H. (University of Manchester) Simmons

  The is an introduction to simple type theory, exploring the relationship between proof and calculation. Each of its 52... Læs mere

  PRIS

  1.644,- kr

  FRAGTFRI LEVERING

  Levering: 6 - 9 hverdage

  Læg i kurv