Combinatory reduction systems /

by Klop, J. W.
Published 1980

Constructive ordinals and related topics : a thesis submitted in partial fulfilment of the requirements for the degree of Master of Science in Mathematics in the University of Cant...

by Marshall, T. H. (Timothy Hamilton)
Published 1987

Introduction to combinators and [lambda]-calculus /

by Hindley, J. Roger
Published 1986

An introduction to functional programming through Lambda calculus /

by Michaelson, Greg, 1953-
Published 1989

Lambda-calculus, combinators, and functional programming /

by Revesz, Gyorgy E.
Published 1988

The Lambda calculus : its syntax and semantics /

by Barendregt, H. P. (Hendrik Pieter)
Published 1984

The Lambda calculus : its syntax and semantics /

by Barendregt, H. P. (Hendrik Pieter)
Published 1981

Language in action : categories, lambdas, and dynamic logic /

by Benthem, J. F. A. K. van, 1949-
Published 1991

Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982 /

Published 1984

Models of the lambda calculus /

by Koymans, C. P. J.
Published 1984

Processes, terms and cycles steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday /

Published 2005

Typed lambda calculi and applications 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings /

Published 2005

Typed lambda calculi and applications 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 : proceedings /

Published 2007

Typed lambda calculi and applications : International Conference on Typed Lam[b]da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings /

Published 1993

Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedin...

Published 1995