Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Bücher von J. Roger (University of Wales Hindley

Filter
Filter
Ordnen nachSortieren Beliebt
  • - An Introduction
    von J. Roger (University of Wales Hindley
    87,00 €

    This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many examples and exercises.

  • von Swansea) Hindley & J. Roger (University of Wales
    58,00 - 141,00 €

    This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice.

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.