Buy Used and New J. Roger Hindley Books

Lambda-Calculus and Combinators: An Introduction

by J. Roger Hindley,Jonathan P. Seldin

ISBN 13: 9780521898850

Format: Illustrated (358 pages)
Publisher: Cambridge University Press
Published: 24 Jul 2008

Save for later

Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, ... 1210 (Lecture Notes in Computer Science)

by J. Roger Hindley,Philippe de Groote

ISBN 13: 9783540626886

Format: Paperback (420 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later