*-calculus and Combinatory Logic

*-calculus and Combinatory Logic (2001)

by Unknown Authors

@MISC{01*-calculusand,
    author = {},
    title = {*-calculus and Combinatory Logic},
    year = {2001}
}

3377	Introduction to Automata Theory, Languages, and Computation - Hopcroft, Motwani, et al. - 2003
914	On computable numbers, with an application to the ”Entscheidungsproblem - Turing - 1936
255	Three models for the description of language - Chomsky - 1956
170	Introduction to Combinators and #-calculus - Hindley, Seldin - 1986
117	A correspondence between ALGOL 60 and Church's lambda notation - Landin - 1965
63	Some properties of conversion - Church, Rosser
36	Grundlagen der kombinatorischen Logik - Curry - 1930
30	On Theories with a Combinatorial Definition of "Equivalence - Newman - 1942
17	The Lambda Calculus: its Syntax and Semantics, 2nd edition - Barendregt - 1984
11	The calculi of lambda conversion. Annals of Mathematics Studies Number 6 - Church - 1941
3	Uber die Bausteine der matematischen Logik - Schonfinkel - 1924