The following pages link to Computability and λ-definability (Q5768087):
Displaying 14 items.
- ``Backward'' coinduction, Nash equilibrium and the rationality of escalation (Q715039) (← links)
- Pre-recursive categories (Q1164127) (← links)
- Physics of selective systems: Computation and biology (Q1164422) (← links)
- A global representation of the recursive functions in the \(\lambda\)- calculus (Q1245931) (← links)
- Objectively homogeneous reference classes (Q1252563) (← links)
- Alan Turing and the Foundations of Computable Analysis (Q3174639) (← links)
- An Introduction to the Lambda Calculus (Q3599178) (← links)
- A Natural Axiomatization of Computability and Proof of Church's Thesis (Q3616433) (← links)
- On automorphisms of arbitrary mathematical systems (Q3712321) (← links)
- The Impact of the Lambda Calculus in Logic and Computer Science (Q4359526) (← links)
- Alonzo church:his life, his work and some of his miracles (Q4391354) (← links)
- The Mathematical Work of S.C.Kleene (Q4837673) (← links)
- Computability and Recursion (Q5689263) (← links)
- Non-deterministic structures of computation (Q5740658) (← links)