FP - Lambda Calculi

[-]Correctness of Monadic State: An Imperative Call-by-Need Calculus
Zena M. Ariola and Amr Sabry (inproceedings, 1998)

[-]The Lambda Calculus -- Its Syntax and Semantics
Hendrik Pieter Barendregt (book, 1984)

[-]Introduction to generalized type systems
Henk Barendregt (article, 1991)

[-]The impact of the lambda calculus in logic and computer science
Henk Barendregt (misc, 1996)

[-]Applications of the Lambda Calculus
Henk Barendregt (misc, 1996)

[-]A Symmetric Complement to the Lambda Calculus
Berkling, K.J. (techreport, 1976)

[-]A Consistent Extension of the Lambda Calculus as a Base for Functional Programming Languages
Klaus Berkling and E. Fehr (article, 1982)

[-]A modification of the lambda-calculus as a base for functional programming languages
Klaus Berkling and E. Fehr (article, 1982)

[-]Head Order Reduction: A Graph Reduction Scheme for the Operational Lambda Calculus
Berkling, K.J.[J. H. Fasel and R. M. Keller (ed)] (inproceedings, 1986)

[-]Epsilon reduction -- another view of unification
Klaus Berkling[J. V. Wood (ed)] (inproceedings, 1986)

[-]A 'Fast` Representation of the Lambda Calculus
Klaus Berkling (inproceedings, 1994)

[-]Lambda calculus notation with nameless dummies. a tool for automatic formula manipulation with application to the church-rosser theorem
N. G. de Bruijn (article, 1972)

[-]The Calculi of Lambda-Conversion
A. Church (book, 1951)

[-]Combinatory Logic
Haskell B. Curry and Robert Feys (book, 1974)

[-]Software Composition: Towards an Integration of Functional and Object-Oriented Approaches
Laurent Dami (phdthesis, 1994)

[-]A Lambda-Calculus with Dynamic Binding
Laurent Dami (article, 1997)

[-]Introduction to Combinators and lambda-calculus
J. Roger Hindley and Jonathan P. Seldin (book, 1986)

[-]The Formulae-As-Types Notion Of Construction
W. A. Howard[J. P. Seldin and J. R. Hindley (ed)] (incollection, 1980)

[-]Logical Foundations of Functional Programming
[G\'erard Huet (ed)] (book, 1990)

[-]The mechanical evaluation of expressions
P. J. Landin (article, 1963)

[-]Lambda Calculus and Music Calculi
Orlarey Y. and Fober D. and Letz S. and Bilton M. (inproceedings, 1994)

[-]Call-by-name, call-by-value and the lambda-calculus
G.~D.~Plotkin (article, 1975)

[-]Untyped Lambda-Calculus with Input-Output
Jerzy Tiuryn and Mitchell Wand[H.~Kirchner (ed)] (InProceedings, 1996)

[-]Semantics and Pragmatics of the Lambda-Calculus
Christopher Peter Wadsworth (phdthesis, 1971)

[-]Typability and Type Checking in the Second-Order lambda-Calculus Are Equivalent and Undecidable
Joe Wells (article, 1996)

cr3@ukc.ac.uk