J. Roger Hindley – författare

Visar alla böcker från författaren J. Roger Hindley.

4 produkter

Kategorier

4 produkter

Del 42
Del 42 - Cambridge Tracts in Theoretical Computer Science
Basic Simple Type Theory
AvJ. Roger Hindley
Häftad, Engelska, 2008
679 kr
Skickas inom 10-15 vardagar
Del 42
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 10-15 vardagar
Lambda-Calculus and Combinators
An Introduction
AvJ. Roger Hindley,Jonathan P. Seldin
Inbunden, Engelska, 2008
1 249 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
AvPhilippe de Groote,J. Roger Hindley
Häftad, Engelska, 1997
709 kr
Skickas inom 10-15 vardagar