… The first four chapters present the calculus of lambda-conversion in detail, with
subsequent chapters discussing the calculus of λらむだ-K-conversion, the calculus of restricted λらむだ-K-conversion, …

… an Application to the Entscheidungsproblem”; the published correction thereto; “Computability
and λらむだ-definability”; “The p-function in λらむだ-K Conversion”; and the long (and difficult) “…

In the context of his theory of numberings, Ershov showed that Kleene's recursion theorem
holds for any precomplete numbering. We discuss various generalizations of this result. …

We distinguish between undefined terms as used in lambda definability of partial recursive
functions and meaningless terms as used in infinite lambda calculus for the infinitary terms …

In the ordinary set-theoretic foundations of mathematics, functions are defined to be sets of
ordered pairs in which no two distinct pairs have the same first element. Then if x is in the …

The following considerations are based on Gentzen’s symmetrical sequential calculus. An
immediate reason for employing a Gentzen-style formalism is that the proofs of paradoxes …

This brings in its train a set of ‘AMEN’combinators for addition, multiplication, exponentiation
and naught (zero) of Church-numerals. They have some some useful algebraic properties (…

In this 2013 winner of the prestigious RR Hawkins Award from the Association of American
Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical …

4 problems encountered in these inquiries. His way of tackling the problem was not by
philosophical discussion of general principles, but by mathematical proof of certain limited results: …

Results 30 patients were included (Group 1: 15; Group 2: 15). The incidence of arterial
hypotension was significantly higher in group 1 (52, 8% versus 20%; p= 0.034). All the cases of …