J. Roger Hindley - Böcker

Visar alla böcker från författaren J. Roger Hindley.
4 produkter
J. Roger Hindley, Swansea) Hindley, J. Roger (University of Wales - Basic Simple Type Theory, Häftad
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

639 kr

Skickas inom 7-10 vardagar
J. Roger Hindley, Swansea) Hindley, J. Roger (University of Wales, Roger J. Hindley, C. J. van Rijsbergen - Basic Simple Type Theory, Inbunden
Del 42 - Cambridge Tracts in Theoretical Computer Science

Basic Simple Type Theory

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

Inbunden, Engelska, 1997

1 759 kr

Skickas inom 7-10 vardagar
J. Roger Hindley, Jonathan P. Seldin, Swansea) Hindley, J. Roger (University of Wales, Alberta) Seldin, Jonathan P. (University of Lethbridge - Lambda-Calculus and Combinators, Inbunden

Lambda-Calculus and Combinators

Av J. Roger Hindley, Jonathan P. Seldin, Swansea) Hindley, J. Roger (University of Wales, Alberta) Seldin, Jonathan P. (University of Lethbridge

Inbunden, Engelska, 2008

1 189 kr

Skickas inom 7-10 vardagar
Philippe de Groote, J. Roger Hindley, Philippe De Groote - Typed Lambda Calculi and Applications, Häftad
Del 1210 - Lecture Notes in Computer Science

Typed Lambda Calculi and Applications

Av Philippe de Groote, J. Roger Hindley, Philippe De Groote

Häftad, Engelska, 1997

719 kr

Skickas inom 10-15 vardagar