J. Roger Hindley – författare
Visar alla böcker från författaren J. Roger Hindley.
4 produkter
Basic Simple Type Theory
Av J. Roger Hindley, C. J. van Rijsbergen
Inbunden, 1997
2269 kr
Lägg i varukorg
Lambda-Calculus and Combinators
An Introduction
Av J. Roger Hindley, Jonathan P. Seldin
Inbunden, 2008
1519 kr
Lägg i varukorg
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
Häftad, 1997
719 kr
Lägg i varukorg