Search for Author All Reviews
	Hindley, J     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       Lambda-calculus and combinators: an introduction Hindley J., Seldin J., Cambridge University Press, New York, NY, 2008. 360 pp.  Type: Book (9780521898850) All of us are, in the course of lifelong learning, invariably dropped into the middle of an infinite ocean, where any point is the center. So, it may be quite unproductive for someone such as myself, a working stiff with a day job, to ...... Mar 6 2009     BCK-combinators and linear &lgr;-terms have types Hindley J. Theoretical Computer Science 64(1): 97-105, 1989.  Type: Article This short theoretical paper on lambda calculus investigates linear &lgr;-terms and the corresponding variable-free BCK-combinators....... Feb 1 1990     Introduction to combinators and &lgr;-calculus Hindley J., Seldin J., Cambridge University Press, New York, NY, 1986.  Type: Book (9789780521268967) Cambridge University Press has undertaken the publishing of a new series, London Mathematical Society Student Texts. According to the publisher’s promotional material:...... Sep 1 1987
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy