Hoppa till sidans huvudinnehåll

J. Roger Hindley - Böcker

Visar alla böcker från författaren J. Roger Hindley.
4 produkter
Del 42 - Cambridge Tracts in Theoretical Computer Science

Basic Simple Type Theory

Av J. Roger Hindley, Swansea) Hindley, J. Roger (University of Wales

Häftad, Engelska, 2008

629 kr

Skickas inom 10-15 vardagar
Del 42 - Cambridge Tracts in Theoretical Computer Science

Basic Simple Type Theory

Av J. Roger Hindley, Swansea) Hindley, J. Roger (University of Wales m. fl

Inbunden, Engelska, 1997

1 729 kr

Skickas inom 10-15 vardagar

Lambda-Calculus and Combinators

An Introduction

Av J. Roger Hindley, Jonathan P. Seldin m. fl

Inbunden, Engelska, 2008

1 189 kr

Skickas inom 10-15 vardagar

Typed Lambda Calculi and Applications

Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings

Av Philippe de Groote, J. Roger Hindley m. fl

Häftad, Engelska, 1997

709 kr

Skickas inom 10-15 vardagar