Hoppa till sidans huvudinnehåll

J. Roger Hindley – författare

Visar alla böcker från författaren J. Roger Hindley.
4 produkter
J. Roger Hindley - Basic Simple Type Theory, Häftad
Del 42 - Cambridge Tracts in Theoretical Computer Science

Basic Simple Type Theory

AvJ. Roger Hindley

Häftad, Engelska, 2008

679 kr

Skickas inom 7-10 vardagar

J. Roger Hindley, C. J. van Rijsbergen - Basic Simple Type Theory, Inbunden
Del 42 - Cambridge Tracts in Theoretical Computer Science

Basic Simple Type Theory

AvJ. Roger Hindley,C. J. van Rijsbergen

Inbunden, Engelska, 1997

1 859 kr

Skickas inom 7-10 vardagar

J. Roger Hindley, Jonathan P. Seldin - Lambda-Calculus and Combinators, Inbunden

Lambda-Calculus and Combinators

An Introduction

AvJ. Roger Hindley,Jonathan P. Seldin

Inbunden, Engelska, 2008

1 249 kr

Skickas inom 7-10 vardagar

Philippe de Groote, J. Roger Hindley - Typed Lambda Calculi and Applications, Häftad

Typed Lambda Calculi and Applications

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

AvPhilippe de Groote,J. Roger Hindley

Häftad, Engelska, 1997

709 kr

Skickas inom 10-15 vardagar